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 ?
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.
You can see a list of extensions installed with the following command
gnome-extensions list
From the list you can enable/disable any extension like this:
gnome-extensions enable user-theme@gnome-shell-extensions.gcampax.github.com
gnome-extensions disable user-theme@gnome-shell-extensions.gcampax.github.com
Notice the full extension name is needed.
gnome-shell-extension-toolhas been superseded by the more powerfulgnome-extensions. This allows useful queries against the running env, eg:gnome-extensions listto get a list of installed extensions andgnome-extensions info $extension, where$extensioncan be obtained from the list – sxc731 Nov 22 '19 at 12:57gnome-tweaks, then launch the Tweaks application, then navigate to the "Extensions" tab. – Seth Falco Jul 23 '22 at 19:07