diff options
| author | vincent | 2020-12-12 09:30:17 +0100 |
|---|---|---|
| committer | vincent | 2020-12-12 09:30:17 +0100 |
| commit | 76b9dd3444f7f3ae63c4f06e051ba5d959caaf49 (patch) | |
| tree | 2a52cc14f5739d6097ca3e39c7996a4a8897a7e8 | |
| parent | 8abcac2b67d4d1d8eac5eee7e331d5c4ad3a75dc (diff) | |
| download | aur-76b9dd3444f7f3ae63c4f06e051ba5d959caaf49.tar.gz | |
update to 1.1.0
Signed-off-by: vincent <vincent@ducamps.win>
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 9 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-pop-shell pkgdesc = Pop Shell - Tiling window management in Gnome (WIP) - pkgver = 1.0.0 - pkgrel = 1 + pkgver = 1.1.0 + pkgrel = 2 url = https://github.com/pop-os/shell install = pop-shell.install arch = any @@ -12,7 +12,7 @@ pkgbase = gnome-shell-extension-pop-shell depends = pop-shell-shortcuts-git optdepends = gnome-shell-extensions: native-window extension for improved window placement conflicts = gnome-shell-extension-pop-shell - source = shell-1.0.0.tar.gz::https://github.com/pop-os/shell/archive/1.0.0.tar.gz + source = shell-1.1.0.tar.gz::https://github.com/pop-os/shell/archive/1.1.0.tar.gz sha256sums = SKIP pkgname = gnome-shell-extension-pop-shell @@ -1,8 +1,8 @@ # Maintainer: Vincent.Ducamps <aur@ducamps.win> pkgname=gnome-shell-extension-pop-shell pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" -pkgver=1.0.0 -pkgrel=1 +pkgver=1.1.0 +pkgrel=2 _gitorg=pop-os _gitname=shell arch=(any) @@ -29,6 +29,10 @@ build() { package() { cd "${srcdir}/${_dir}" make DESTDIR="${pkgdir}/" install + 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" install -Dm755 scripts/configure.sh "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh" } |