Let's say I have successully installed my set of gnome-shell extensions. But I want to deactivate/unactivate from the command line. This is only possible via mouse action, AFAIK.

How can I do that ?


It is well described in the Gnome wiki, quoting:

You can do this with the GSettings key, org.gnome.shell.enabled-extensions, or several tools that manipulate this GSettings key, such as GNOME Tweak Tool or a recent version of gnome-shell-extension-tool.

If you invoke gnome-shell-extension-tool --help, you will see that it is capable of enabling and disabling extensions by their name. For example, the following command enables user themes:

gnome-shell-extension-tool -e user-theme

Oh, and you can get the names of all your locally installed extensions by doing ls ~/.local/share/gnome-shell/extensions. It will give you entries of the form the-name@author.

  • 1
    It doesn't work if the extension has not been installed. It only changes the settings in dconf. – wayofthefuture Aug 2 '17 at 20:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.