diff options
author | Jonian Guveli | 2023-10-26 10:56:36 +0300 |
---|---|---|
committer | Jonian Guveli | 2023-10-26 10:56:36 +0300 |
commit | 17cee2a6387475fe8a332c24014aa5279c46e6a8 (patch) | |
tree | c1043357ed624cfbb351b38e196e3819b1799122 /PKGBUILD | |
download | aur-17cee2a6387475fe8a332c24014aa5279c46e6a8.tar.gz |
initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6f112bb3079d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,24 @@ +# Maintainer: Jonian Guveli <https://github.com/jonian/> + +pkgname=gnome-shell-extension-flexi-dock +pkgver=1 +pkgrel=1 +pkgdesc="GNOME Shell extension to provide a flexible applications dock with panel mode support" +arch=("any") +url="https://github.com/hardpixel/flexi-dock" +license=("GPL") +depends=("gnome-shell") +conflicts=("gnome-shell-extension-flexi-dock-git") +source=("$pkgname-$pkgver.zip::$url/releases/download/v$pkgver/flexi-dock-v$pkgver.zip") +md5sums=('06ea5dc5b1e19a1db23fc4f343c07c94') + +package() { + rm -f "$srcdir/$pkgname-$pkgver.zip" + rm -f "$srcdir/schemas/gschemas.compiled" + + install -d "$pkgdir/usr/share/gnome-shell/extensions/flexi-dock@hardpixel.eu" \ + && cp -a "$srcdir/." "$_" + + install -d "$pkgdir/usr/share/glib-2.0" \ + && mv "$pkgdir/usr/share/gnome-shell/extensions/flexi-dock@hardpixel.eu/schemas" "$_" +} |