diff options
author | Jonian Guveli | 2020-11-10 13:25:41 +0200 |
---|---|---|
committer | Jonian Guveli | 2020-11-10 13:25:41 +0200 |
commit | e1972c0c8ac361f5cfef8c19120b91360f72fc0f (patch) | |
tree | e450265830c97345d2f6f1df1d3361222d897510 | |
download | aur-e1972c0c8ac361f5cfef8c19120b91360f72fc0f.tar.gz |
initial commit
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 16 |
2 files changed, 30 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e6312f9a19cc --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = gnome-shell-extension-development-utility + pkgdesc = An extension that provides utilities to help with GNOME Shell extensions development + pkgver = 2 + pkgrel = 1 + url = https://github.com/maoschanz/gnome-extension-development-utility + arch = any + license = GPL + depends = gnome-shell + conflicts = gnome-shell-extension-development-utility-git + source = gnome-shell-extension-development-utility-2.tar.gz::https://github.com/maoschanz/gnome-extension-development-utility/archive/2.tar.gz + md5sums = befb01c84162d97345ce171947074aa8 + +pkgname = gnome-shell-extension-development-utility + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..8e746c800c22 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,16 @@ +# Maintainer: Jonian Guveli <https://github.com/jonian/> +pkgname=gnome-shell-extension-development-utility +pkgver=2 +pkgrel=1 +pkgdesc="An extension that provides utilities to help with GNOME Shell extensions development" +arch=("any") +url="https://github.com/maoschanz/gnome-extension-development-utility" +license=("GPL") +depends=("gnome-shell") +conflicts=("gnome-shell-extension-development-utility-git") +source=("$pkgname-$pkgver.tar.gz::$url/archive/$pkgver.tar.gz") +md5sums=("befb01c84162d97345ce171947074aa8") + +package() { + install -d "$pkgdir/usr/share/gnome-shell/extensions" && cp -a "$srcdir/gnome-extension-development-utility-$pkgver/extension-development-utility@maestroschan.fr" "$_" +} |