vincent/gnome-shell-extension-pop-shell-git
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add rebuild.sh to package

Browse Source
This commit is contained in:
vincent 2020-09-26 10:39:57 +02:00
parent d66e4470bd
commit c069b32201
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
PKGBUILD
View File

@ -1,7 +1,7 @@
# Maintainer: ftsell <aur@finn-thorben.me> # Maintainer: ftsell <aur@finn-thorben.me>
pkgname=gnome-shell-extension-pop-shell-git pkgname=gnome-shell-extension-pop-shell-git
pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)"
pkgver=r192.e15786b pkgver=r540.9286532
pkgrel=1 pkgrel=1
_gitorg=pop-os _gitorg=pop-os
_gitname=shell _gitname=shell
@ -35,5 +35,6 @@ build() {
package() { package() {
cd "${srcdir}/${_dir}" cd "${srcdir}/${_dir}"
make DESTDIR="${pkgdir}/" install make DESTDIR="${pkgdir}/" install
install -Dm644 rebuild.sh "${pkgdir}//usr/share/gnome-shell/extensions/pop-shell@system76.com"
} }