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 ?
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It only takes a minute to sign up.Sign up to join this community
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