diff options
| author | Maxim Andersson | 2017-01-07 23:18:57 +0100 |
|---|---|---|
| committer | Maxim Andersson | 2017-01-07 23:18:57 +0100 |
| commit | d7e6e94eaece8ecdaf12f7cddf44869edee0baa6 (patch) | |
| tree | 8fb8c54c9f3a8ca6daad71f2ca13d152eaf36d7b | |
| parent | ec04b0a2e1d996070a7950e858217bb6e7aaa59b (diff) | |
| download | aur-d7e6e94eaece8ecdaf12f7cddf44869edee0baa6.tar.gz | |
Add fixes for 3.22
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 12 |
2 files changed, 13 insertions, 3 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Sun May 1 21:30:44 UTC 2016 +# Sat Jan 7 18:30:37 UTC 2017 pkgbase = gnome-shell-extension-drop-down-terminal pkgdesc = Drop Down Terminal extension for the Gnome Shell pkgver = 20 - pkgrel = 1 + pkgrel = 2 url = https://github.com/zzrough/gs-extensions-drop-down-terminal install = gnome-shell-extension-drop-down-terminal.install arch = any @@ -2,7 +2,7 @@ pkgname=gnome-shell-extension-drop-down-terminal pkgver=20 -pkgrel=1 +pkgrel=2 pkgdesc="Drop Down Terminal extension for the Gnome Shell" arch=('any') url="https://github.com/zzrough/gs-extensions-drop-down-terminal" @@ -12,6 +12,16 @@ 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' |