blob: e0d90bf175d7f5c0a2283379b41b55a2954bbcf7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# Maintainer: Michael Schubert <mschu. dev at gmail>
# Contributor: Maxim Andersson <thesilentboatman@gmail.com>
_pkgname=drop-down-terminal
_gitname=gs-extensions-$_pkgname
pkgname=gnome-shell-extension-$_pkgname-git
pkgver=24.r10.g91ab851
pkgrel=1
pkgdesc="Drop Down Terminal extension for the Gnome Shell"
arch=('any')
url="https://github.com/zzrough/$_gitname"
license=('GPL3')
depends=('gnome-shell')
makedepends=('git')
install=$_pkgname.install
source=(git+https://github.com/ccat3z/$_gitname)
sha256sums=('SKIP')
pkgver() {
cd "$srcdir"/$_gitname
git describe --long --tags | sed -r 's/^v//;s/([^-]*-g)/r\1/;s/-/./g'
}
package() {
_uuid='drop-down-terminal@gs-extensions.zzrough.org'
install -d "$pkgdir"/usr/share/gnome-shell/extensions
install -d "$pkgdir"/usr/share/glib-2.0/schemas
cd "$srcdir"/$_gitname
mv $_uuid/org.zzrough.gs-extensions.drop-down-terminal.gschema.xml \
"$pkgdir"/usr/share/glib-2.0/schemas/
cp -af $_uuid "$pkgdir"/usr/share/gnome-shell/extensions/
}
|