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.

2

3 Answers

first get the enabled-extensions with below command

gsettings get org.gnome.shell enabled-extensions

example;

pratap@i7:~$ gsettings get org.gnome.shell enabled-extensions
['']
pratap@i7:~$

then add your extension name to the output you got

example;

gsettings set org.gnome.shell enabled-extensions "['', '']"

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

Parameter -e tells gnome-shell-extension-tool to enable the extension.

You can also disable an extension using the -d parameter instead of -e.

In new versions, the commands above are deprecated. The new command is:

gnome-extensions COMMAND

If you want more info about the commands type:

gnome-extensions help

And for enabling or disabling the extension "user themes":

gnome-extensions enable/disable 

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy