updpkg: 4

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}"
 }