summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 260c9ee99465..36606bc8450d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = gnome-shell-extension-pop-shell-bin
pkgdesc = Pop Shell - Tiling window management in Gnome (precompiled)
pkgver = 1.2.0
- pkgrel = 3
+ pkgrel = 4
url = https://github.com/pop-os/shell
install = pop-shell.install
arch = any
diff --git a/PKGBUILD b/PKGBUILD
index 6628a68e1f1f..f2c2b6953b02 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=gnome-shell-extension-pop-shell-bin
pkgdesc='Pop Shell - Tiling window management in Gnome (precompiled)'
pkgver=1.2.0
-pkgrel=3
+pkgrel=4
arch=(any)
url='https://github.com/pop-os/shell'
license=('GPLv3')
@@ -36,6 +36,8 @@ package() {
local keybindings_dir='usr/share/gnome-control-center/keybindings'
install -Dm644 *.xml -t "${pkgdir}/${keybindings_dir}"
+ install -Dm644 "${srcdir}/extension/schemas/org.gnome.shell.extensions.pop-shell.gschema.xml" \
+ -t "${pkgdir}/usr/share/glib-2.0/schemas"
install -Dm755 configure.sh "${pkgdir}/${extension_dir}/scripts/configure.sh"
cp -r "${srcdir}"/extension/* "${pkgdir}/${extension_dir}"
}