diff options
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in')
-rw-r--r-- | deskutils/gnome-shell-extension-hidetopbar/files/pkg-message.in | 18 |
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 +} +] |