blob: a7beb10de99cbfe19e6a962ea685730c520f7a88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# Maintainer: Jonian Guveli <https://github.com/jonian/>
pkgname=gnome-shell-extension-systemd-manager
pkgver=17
pkgrel=2
pkgdesc="Gnome Shell extension to manage systemd services"
arch=("any")
url="https://github.com/hardpixel/systemd-manager"
license=("GPL")
depends=("gnome-shell")
provides=("gnome-shell-extension-systemd-manager")
conflicts=("gnome-shell-extension-systemd-manager-git")
source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz")
md5sums=('cf361f91da3be793ae7733f1edb953b8')
package() {
install -d "$pkgdir/usr/share/gnome-shell/extensions" \
&& cp -a "$srcdir/systemd-manager-$pkgver/systemd-manager@hardpixel.eu" "$_"
install -d "$pkgdir/usr/share/glib-2.0" \
&& mv "$pkgdir/usr/share/gnome-shell/extensions/systemd-manager@hardpixel.eu/schemas" "$_"
rm -f "$pkgdir/usr/share/glib-2.0/schemas/gschemas.compiled"
}
|