I am working in a chroot environment, and I need a command in terminal to set gnome-shell themes. In this case I'm wondering how I switch the "user-themes" setting on the gnome-tweaks extension tab (see photo). Switching via the GUI is easy, but so far I don't know how to do it from the command line.
first get the enabled-extensions with below command
gsettings get org.gnome.shell enabled-extensions
pratap@i7:~$ gsettings get org.gnome.shell enabled-extensions ['email@example.com'] pratap@i7:~$
then add your extension name to the output you got
gsettings set org.gnome.shell enabled-extensions "['firstname.lastname@example.org', 'email@example.com']"
First, to install the "user themes" extension using the terminal, if you haven't already, you can run the following command:
sudo apt install gnome-shell-extensions
This will install the "user themes" extension along with a bunch of other extensions.
You don't have to use
gsettings, unless you need to. You can enable the extensions you want using
gnome-shell-extension-tool. Specifically, to enable "user themes", the command you need to run is
gnome-shell-extension-tool -e user-themes
gnome-shell-extension-tool to enable the extension.
You can also disable an extension using the
-d parameter instead of
In new versions, the commands above are deprecated. The new command is:
If you want more info about the commands type:
And for enabling or disabling the extension "user themes":
gnome-extensions enable/disable firstname.lastname@example.org