diff options
| author | Maxim Andersson | 2015-06-08 15:10:58 +0200 |
|---|---|---|
| committer | Maxim Andersson | 2015-06-08 15:10:58 +0200 |
| commit | f9a12db21f0512ccb3e31b7807d7a09f639fafd8 (patch) | |
| tree | bd5fc102a8f66e25c6063e9d6a4f171636a0f523 | |
| download | aur-f9a12db21f0512ccb3e31b7807d7a09f639fafd8.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 28 | ||||
| -rw-r--r-- | gnome-shell-extension-dynamic-top-bar.install | 19 |
3 files changed, 61 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..915409bbdd7f --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = gnome-shell-extension-dynamic-top-bar + pkgdesc = Extension that make the top bar transparent when no window is maximized + pkgver = 3.2.1 + pkgrel = 1 + url = https://github.com/AMDG2/GnomeShell_DynamicTopBar + install = gnome-shell-extension-dynamic-top-bar.install + arch = any + license = GPL3 + depends = gnome-shell + source = https://github.com/AMDG2/GnomeShell_DynamicTopBar/archive/3.2.1.tar.gz + sha256sums = 768bead77b311066c514c1599a3b917650e7f60407fcc2ef1a46049d72138e25 + +pkgname = gnome-shell-extension-dynamic-top-bar + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0ffb6b061b1f --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Maxim Andersson <thesilentboatman@gmail.com> + +pkgname=gnome-shell-extension-dynamic-top-bar +pkgver=3.2.1 +pkgrel=1 +pkgdesc="Extension that make the top bar transparent when no window is maximized" +arch=('any') +url="https://github.com/AMDG2/GnomeShell_DynamicTopBar" +license=('GPL3') +depends=('gnome-shell') +install=${pkgname}.install +source=("https://github.com/AMDG2/GnomeShell_DynamicTopBar/archive/${pkgver}.tar.gz") +sha256sums=('768bead77b311066c514c1599a3b917650e7f60407fcc2ef1a46049d72138e25') + +package() { + _uuid='dynamicTopBar@gnomeshell.feildel.fr' + + install -d "${pkgdir}/usr/share/gnome-shell/extensions" + install -d "${pkgdir}/usr/share/glib-2.0/schemas/" + + cd "${srcdir}/GnomeShell_DynamicTopBar-${pkgver}" + mv "${_uuid}/schemas/org.gnome.shell.extensions.dynamic-top-bar.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-dynamic-top-bar.install b/gnome-shell-extension-dynamic-top-bar.install new file mode 100644 index 000000000000..1e7413864fe6 --- /dev/null +++ b/gnome-shell-extension-dynamic-top-bar.install @@ -0,0 +1,19 @@ +post_install() { + post_upgrade + + echo '' + echo '==> To enable Dynamic Top Bar:' + echo '==> Reload Gnome Shell with Alt-F2 r' + echo '==> Enable it with the gnome-tweak-tool' + echo '==> or run "gnome-shell-extension-tool -e dynamicTopBar@gnomeshell.feildel.fr"' + echo '' +} + +post_upgrade() { + glib-compile-schemas /usr/share/glib-2.0/schemas +} + +post_remove() { + post_upgrade +} + |