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 ?
Asked
Active
Viewed 6.9k times
2 Answers
52
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.
M-x
- 671
22
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.
StR
- 411