blob: 34da3f2440542474e7341658f7e0e18555889ed9 (
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
34
35
36
37
|
# Maintainer: Maxim Andersson <thesilentboatman@gmail.com>
pkgname=gnome-shell-extension-drop-down-terminal
pkgver=20
pkgrel=2
pkgdesc="Drop Down Terminal extension for the Gnome Shell"
arch=('any')
url="https://github.com/zzrough/gs-extensions-drop-down-terminal"
license=('GPL3')
depends=('gnome-shell')
install=${pkgname}.install
source=("https://github.com/zzrough/gs-extensions-drop-down-terminal/archive/v${pkgver}.tar.gz")
sha256sums=('17192234cd792109cdbf6003df08b8cc8b0ed63bb81fe1cbe27154efb874a210')
prepare() {
cd "${srcdir}/gs-extensions-drop-down-terminal-${pkgver}/drop-down-terminal@gs-extensions.zzrough.org"
# Fixes for 3.22
sed -i '32s/:.*/-family: "Cantarell";\n font-size: 11px;/' gtk.css
sed -i '2i window,' gtk.css
sed -i '7i window *,' gtk.css
sed -i 's/]/, "3.22"]/g' metadata.json
}
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}/gs-extensions-drop-down-terminal-${pkgver}"
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/"
}
# vim:set ts=2 sw=2 et:
|