diff options
Diffstat (limited to 'gnome-shell-extension-dynamic-top-bar.install')
| -rw-r--r-- | gnome-shell-extension-dynamic-top-bar.install | 19 |
1 files changed, 19 insertions, 0 deletions
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 +} + |