diff options
| author | vincent | 2020-09-26 10:39:57 +0200 |
|---|---|---|
| committer | vincent | 2020-09-26 10:53:47 +0200 |
| commit | c069b3220110c209168a1f88890352be794498a1 (patch) | |
| tree | 86b0b959e3758186edc44601e4091b85de77c961 /PKGBUILD | |
| parent | d66e4470bd0462e6b68c57dabde345d22ea41fe3 (diff) | |
| download | aur-c069b3220110c209168a1f88890352be794498a1.tar.gz | |
add rebuild.sh to package
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,7 +1,7 @@ # Maintainer: ftsell <aur@finn-thorben.me> 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" } |