aboutsummaryrefslogtreecommitdiff
path: root/deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in
diff options
context:
space:
mode:
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in')
-rw-r--r--deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in18
1 files changed, 18 insertions, 0 deletions
diff --git a/deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in b/deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in
new file mode 100644
index 000000000000..f3426c1d308c
--- /dev/null
+++ b/deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in
@@ -0,0 +1,18 @@
+[
+{ type: install
+ message: <<EOM
+To enable this extension:
+gsettings set org.gnome.shell enabled-extensions "['%%UUID%%']"
+
+The gnome-shell must be restarted, press Alt+F2 and type 'r' (X11 only).
+
+To configure or disable an extension, after restarting the shell,
+you have to launch 'gnome-extensions-app'.
+
+To disable this extension (before remove):
+gdbus call --session --dest org.gnome.Shell.Extensions \
+--object-path /org/gnome/Shell/Extensions \
+--method org.gnome.Shell.Extensions.DisableExtension %%UUID%%
+EOM
+}
+]