diff options
| author | Maxim Andersson | 2015-06-08 15:10:39 +0200 |
|---|---|---|
| committer | Maxim Andersson | 2015-06-08 15:10:39 +0200 |
| commit | 1a8310f36529e118e2cd4375e5225b3136c43814 (patch) | |
| tree | 749cc7868aa9c62b2bfb434f032da6bc74811dc9 | |
| download | aur-1a8310f36529e118e2cd4375e5225b3136c43814.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 35 | ||||
| -rw-r--r-- | gnome-shell-extension-drop-down-terminal-git.install | 19 |
3 files changed, 70 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ae7e2af9d803 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = gnome-shell-extension-drop-down-terminal-git + pkgdesc = Drop Down Terminal extension for the Gnome Shell + pkgver = 17.r0.g18ffa31 + pkgrel = 1 + url = https://github.com/zzrough/gs-extensions-drop-down-terminal + install = gnome-shell-extension-drop-down-terminal-git.install + arch = any + license = GPL3 + makedepends = git + depends = gnome-shell + conflicts = gnome-shell-extension-drop-down-terminal + source = git://github.com/zzrough/gs-extensions-drop-down-terminal + sha256sums = SKIP + +pkgname = gnome-shell-extension-drop-down-terminal-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..ab398ae7316a --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: Maxim Andersson <thesilentboatman@gmail.com> + +pkgname=gnome-shell-extension-drop-down-terminal-git +_gitname=gs-extensions-drop-down-terminal +pkgver=17.r0.g18ffa31 +pkgrel=1 +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') +makedepends=('git') +conflicts=('gnome-shell-extension-drop-down-terminal') +install=${pkgname}.install +source=('git://github.com/zzrough/gs-extensions-drop-down-terminal') +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/" +} + +# vim:set ts=2 sw=2 et: diff --git a/gnome-shell-extension-drop-down-terminal-git.install b/gnome-shell-extension-drop-down-terminal-git.install new file mode 100644 index 000000000000..d4ed5ed5c7a4 --- /dev/null +++ b/gnome-shell-extension-drop-down-terminal-git.install @@ -0,0 +1,19 @@ +post_install() { + post_upgrade + + echo '' + echo '==> To enable Drop Down Terminal:' + echo '==> Reload Gnome Shell with Alt-F2 r' + echo '==> Enable it with the gnome-tweak-tool' + echo '==> or run "gnome-shell-extension-tool -e drop-down-terminal@gs-extensions.zzrough.org"' + echo '' +} + +post_upgrade() { + glib-compile-schemas /usr/share/glib-2.0/schemas +} + +post_remove() { + post_upgrade +} + |