From c069b3220110c209168a1f88890352be794498a1 Mon Sep 17 00:00:00 2001 From: vincent Date: Sat, 26 Sep 2020 10:39:57 +0200 Subject: [PATCH] add rebuild.sh to package --- PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/PKGBUILD b/PKGBUILD index 92ea3c5..92d52ac 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -1,7 +1,7 @@ # Maintainer: ftsell pkgname=gnome-shell-extension-pop-shell-git pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" -pkgver=r192.e15786b +pkgver=r540.9286532 pkgrel=1 _gitorg=pop-os _gitname=shell @@ -35,5 +35,6 @@ build() { package() { cd "${srcdir}/${_dir}" make DESTDIR="${pkgdir}/" install + install -Dm644 rebuild.sh "${pkgdir}//usr/share/gnome-shell/extensions/pop-shell@system76.com" }