1 # Maintainer: Leonidas spyropoulos <artafinde AT gmail DOT com>
3 pkgname=gnome-shell-extension-topicons-redux
4 _projectName=TopIcons-Redux
7 pkgdesc='TopIcons Redux is a fork of TopIcons Plus'
9 url="https://gitlab.com/pop-planet/${_projectName}"
11 depends=('gnome-shell')
13 provides=('gnome-shell-extension-topicons-redux')
14 groups=('gnome-shell-extensions')
15 source=("git+https://gitlab.com/pop-planet/${_projectName}.git#tag=${pkgver}")
25 local uuid=$(grep -Po '(?<="uuid": ")[^"]*' _build/metadata.json)
26 local destdir="$pkgdir/usr/share/gnome-shell/extensions/$uuid"
27 install -dm755 "$destdir"
28 cp -r _build/* "$destdir"