diff options
author | petres | 2016-02-09 14:43:22 +0100 |
---|---|---|
committer | petres | 2016-02-09 14:43:22 +0100 |
commit | a86116ac0f819453f0b3ff21877a3023db2d0958 (patch) | |
tree | cd39abcd20960eb4cece1accb7a8f7a5a406650d /PKGBUILD | |
download | aur-a86116ac0f819453f0b3ff21877a3023db2d0958.tar.gz |
Initial import
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..1b120af2c443 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: Peter Reschenhofer <peter.reschenhofer@gmail.com> +pkgname=gnome-shell-extension-extensions-git +_pkgname=${pkgname%-git} + +pkgver=r3.6062e47 +pkgrel=1 +pkgdesc="Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel." +arch=('any') +url="https://github.com/petres/gnome-shell-extension-extensions" +license=('GPL3') +depends=('gnome-shell<3.19') +makedepends=('git') +source=("git+https://github.com/petres/gnome-shell-extension-extensions") +_gitfolder="extensions@abteil.org" +md5sums=('SKIP') + +pkgver() { + cd "$srcdir/$_pkgname" + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +package() { + cd "$srcdir/$_pkgname" + mkdir -p "$pkgdir/usr/share/gnome-shell/extensions" + cp -r "$_gitfolder" "$pkgdir/usr/share/gnome-shell/extensions/" +} |