PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

# Maintainer: Jonian Guveli <https://github.com/jonian/>

pkgname=gnome-shell-extension-flexi-dock
pkgver=4
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=('5f5992d9a9c8d6cfbcf2efd28962163a')

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" "$_"
}