Ubuntu – How to activate/deactivate a gnome-shell extension from command line

command linegnomegnome-shell-extension

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 ?

Best Answer

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.