From c87c8f46b5a503179cb34e6fba1649ca848da8be Mon Sep 17 00:00:00 2001 From: vincent Date: Tue, 6 Oct 2020 19:18:40 +0200 Subject: [PATCH] add config.sh --- PKGBUILD | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/PKGBUILD b/PKGBUILD index 629361d..d5470cc 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -1,15 +1,15 @@ -# Maintainer: ftsell +# Maintainer: Vincent.Ducamps pkgname=gnome-shell-extension-pop-shell-git pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" -pkgver=r540.9286532 -pkgrel=2 +pkgver=r552.0fce7eb +pkgrel=3 _gitorg=pop-os _gitname=shell _gitbranch=master_focal arch=(any) url="https://github.com/pop-os/shell" license=("GPLv3") - +install="pop-shell.install" conflicts=("gnome-shell-extension-pop-shell") makedepends=("typescript" "git") depends=("gnome-shell" "pop-shell-shortcuts-git") @@ -35,6 +35,7 @@ build() { package() { cd "${srcdir}/${_dir}" make DESTDIR="${pkgdir}/" install - install -Dm644 rebuild.sh "${pkgdir}//usr/share/gnome-shell/extensions/pop-shell@system76.com" + install -Dm755 scripts/configure.sh "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh" + touch "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/.confirm_shortcut_change" }