summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorIgor Dyatlov2022-02-06 18:33:08 +0300
committerIgor Dyatlov2022-02-06 18:33:08 +0300
commit426d58131a525c7ada32ce76e0284906ce257272 (patch)
treeda6dd4b25e3dc286ea15868e2370fb8921e4833e /PKGBUILD
downloadaur-426d58131a525c7ada32ce76e0284906ce257272.tar.gz
Initial import
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD38
1 files changed, 38 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..faa30de154c5
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,38 @@
+# Maintainer: Igor Dyatlov <dyatlov.igor@protonmail.com>
+
+pkgname=gnome-shell-extension-panel-corners-git
+_pkgname=panel-corners
+pkgver=r14.344c1a8
+pkgrel=1
+pkgdesc="A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42"
+arch=('any')
+url="https://github.com/aunetx/panel-corners"
+license=('GPL3')
+depends=('gnome-shell')
+makedepends=('git' 'zip')
+provides=("${pkgname%-git}")
+conflicts=("${pkgname%-git}")
+source=(git+$url.git)
+b2sums=('SKIP')
+
+pkgver() {
+ cd "$_pkgname"
+ ( set -o pipefail
+ git describe --long 2>/dev/null | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g' ||
+ printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+ )
+}
+
+build() {
+ cd "$_pkgname"
+
+ make pkg
+}
+
+package() {
+ cd "$_pkgname"
+
+ local uuid=$(grep -Po '(?<="uuid": ")[^"]*' metadata.json)
+ install -d "$pkgdir/usr/share/gnome-shell/extensions/${uuid}"
+ bsdtar -xvf pkg/${uuid}.zip -C "$pkgdir/usr/share/gnome-shell/extensions/${uuid}"
+}