summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD30
1 files changed, 30 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..cfd3fff9b938
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,30 @@
+# Maintainer: Amin Vakil <info at aminvakil dot com>
+# Contributor: Rostyslav Nikolaienko <rostik.nikolaenko at gmail dot com>
+
+_srcname=public-ip-gnome-extension
+pkgname=gnome-shell-extension-public-ip-git
+pkgver=r43.1dd3422
+pkgrel=1
+pkgdesc="Tiny extension, which show public IP and nothing more."
+arch=('any')
+url="https://github.com/rostegg/public-ip-gnome-extension"
+license=('GPL3')
+depends=('gnome-shell')
+makedepends=('git')
+conflicts=('gnome-shell-extension-public-ip')
+provides=('gnome-shell-extension-public-ip')
+source=("git+https://github.com/rostegg/${_srcname}.git")
+sha256sums=('SKIP')
+
+pkgver() {
+ cd "${_srcname}"
+ printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+}
+
+package() {
+ cd "${_srcname}"
+ local uuid=$(grep -Po '(?<="uuid": ")[^"]*' $srcdir/${_srcname}/metadata.json)
+ local destdir="$pkgdir/usr/share/gnome-shell/extensions/$uuid"
+ install -dm755 "$destdir"
+ cp -r $srcdir/${_srcname}/* "$destdir"
+}