Initial import

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
+}
+