diff options
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | gnome-shell-extension-drop-down-terminal.install | 11 |
2 files changed, 1 insertions, 12 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed Mar 23 23:28:17 UTC 2016 +# Sun May 1 21:30:44 UTC 2016 pkgbase = gnome-shell-extension-drop-down-terminal pkgdesc = Drop Down Terminal extension for the Gnome Shell pkgver = 20 diff --git a/gnome-shell-extension-drop-down-terminal.install b/gnome-shell-extension-drop-down-terminal.install index d4ed5ed5c7a4..189e4bd2837e 100644 --- a/gnome-shell-extension-drop-down-terminal.install +++ b/gnome-shell-extension-drop-down-terminal.install @@ -1,6 +1,4 @@ post_install() { - post_upgrade - echo '' echo '==> To enable Drop Down Terminal:' echo '==> Reload Gnome Shell with Alt-F2 r' @@ -8,12 +6,3 @@ post_install() { 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 -} - |