gnome-shell-extension-pop-s.../PKGBUILD

41 lines
915 B
Bash
Raw Normal View History

2020-03-04 13:37:41 +00:00
# Maintainer: ftsell <aur@finn-thorben.me>
pkgname=gnome-shell-extension-pop-shell-git
pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)"
2020-09-26 08:39:57 +00:00
pkgver=r540.9286532
2020-09-26 08:54:44 +00:00
pkgrel=2
2020-03-04 13:37:41 +00:00
_gitorg=pop-os
_gitname=shell
_gitbranch=master_focal
arch=(any)
url="https://github.com/pop-os/shell"
license=("GPLv3")
conflicts=("gnome-shell-extension-pop-shell")
makedepends=("typescript")
2020-05-02 16:54:24 +00:00
depends=("gnome-shell" "pop-shell-shortcuts-git")
2020-03-04 13:37:41 +00:00
_dir="${_gitname}"
source=("${_dir}::git+https://github.com/${_gitorg}/${_gitname}.git#branch=${_gitbranch}")
sha256sums=("SKIP")
pkgver() {
cd "${srcdir}/${_dir}"
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd "${srcdir}/${_dir}"
make all
}
package() {
cd "${srcdir}/${_dir}"
make DESTDIR="${pkgdir}/" install
2020-09-26 08:39:57 +00:00
install -Dm644 rebuild.sh "${pkgdir}//usr/share/gnome-shell/extensions/pop-shell@system76.com"
2020-03-04 13:37:41 +00:00
}