2020-10-06 17:18:40 +00:00
|
|
|
# Maintainer: Vincent.Ducamps <aur@ducamps.win>
|
2020-03-04 13:37:41 +00:00
|
|
|
pkgname=gnome-shell-extension-pop-shell-git
|
|
|
|
pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)"
|
2020-12-29 18:19:15 +00:00
|
|
|
pkgver=r634.c533b20
|
2020-10-06 19:01:29 +00:00
|
|
|
pkgrel=1
|
2020-03-04 13:37:41 +00:00
|
|
|
_gitorg=pop-os
|
|
|
|
_gitname=shell
|
2020-11-14 12:13:30 +00:00
|
|
|
_gitbranch=master
|
2020-03-04 13:37:41 +00:00
|
|
|
arch=(any)
|
|
|
|
url="https://github.com/pop-os/shell"
|
|
|
|
license=("GPLv3")
|
2020-10-06 17:18:40 +00:00
|
|
|
install="pop-shell.install"
|
2020-10-14 16:48:48 +00:00
|
|
|
optdepends=('gnome-shell-extensions: native-window extension for improved window placement')
|
2020-03-04 13:37:41 +00:00
|
|
|
conflicts=("gnome-shell-extension-pop-shell")
|
2020-09-28 19:32:17 +00:00
|
|
|
makedepends=("typescript" "git")
|
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-11-22 08:22:52 +00:00
|
|
|
|
|
|
|
install -Dm644 schemas/org.gnome.shell.extensions.pop-shell.gschema.xml -t \
|
|
|
|
"$pkgdir/usr/share/glib-2.0/schemas"
|
|
|
|
install -Dm644 keybindings/*.xml -t \
|
|
|
|
"$pkgdir/usr/share/gnome-control-center/keybindings"
|
2020-10-06 17:18:40 +00:00
|
|
|
install -Dm755 scripts/configure.sh "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh"
|
2020-03-04 13:37:41 +00:00
|
|
|
}
|
|
|
|
|