summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorpetres2016-02-09 14:43:22 +0100
committerpetres2016-02-09 14:43:22 +0100
commita86116ac0f819453f0b3ff21877a3023db2d0958 (patch)
treecd39abcd20960eb4cece1accb7a8f7a5a406650d /PKGBUILD
downloadaur-a86116ac0f819453f0b3ff21877a3023db2d0958.tar.gz
Initial import
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD26
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/"
+}