diff options
author | gabriel | 2016-10-14 09:51:53 +0100 |
---|---|---|
committer | gabriel | 2016-10-14 09:51:53 +0100 |
commit | 139862a849b5cdb10848a67e4071bc90e61fca96 (patch) | |
tree | 15a5593430f276e7d26f0856762528ad52e28742 /gnome-shell-extension-zorin-taskbar.install | |
download | aur-139862a849b5cdb10848a67e4071bc90e61fca96.tar.gz |
First port
Diffstat (limited to 'gnome-shell-extension-zorin-taskbar.install')
-rw-r--r-- | gnome-shell-extension-zorin-taskbar.install | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gnome-shell-extension-zorin-taskbar.install b/gnome-shell-extension-zorin-taskbar.install new file mode 100644 index 000000000000..13eccced9b4f --- /dev/null +++ b/gnome-shell-extension-zorin-taskbar.install @@ -0,0 +1,17 @@ +post_install() { + glib-compile-schemas usr/share/glib-2.0/schemas + echo "===============================================================" + echo "To use the extension:" + echo " * Restart GNOME Shell ([Alt]+[F2], r)" + echo " * Activate it (eg using gnome-tweak-tool)" + echo "===============================================================" +} + +post_upgrade() { + post_install $1 +} + +post_remove() { + post_install $1 +} + |