summarylogtreecommitdiffstats
path: root/gnome-shell-extension-dynamic-top-bar.install
diff options
context:
space:
mode:
Diffstat (limited to 'gnome-shell-extension-dynamic-top-bar.install')
-rw-r--r--gnome-shell-extension-dynamic-top-bar.install19
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 00000000000..1e7413864fe
--- /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
+}
+