In Gnome Tweak Tool, I'm unable to change the Shell theme:
Hovering over the exclamation mark shows the following tool-tip: Shell user-theme extension not enabled
. I'm using Ubuntu 14.10, and have installed gnome-shell-extensions.
In Gnome Tweak Tool, I'm unable to change the Shell theme:
Hovering over the exclamation mark shows the following tool-tip: Shell user-theme extension not enabled
. I'm using Ubuntu 14.10, and have installed gnome-shell-extensions.
I solved this problem myself, and it was an extremely trivial solution:
Gnome Tweak Tool
.Extensions
menu item, and move the User themes
slider to On
.Gnome Tweak Tool
and open it again.Shell theme
in the Appearance
menu.In addition to @miceagol's
answer: If you do not see User Themes
in the Extensions
panel of GNOME Tweak Tool, you may need to install it from extensions.gnome.org. Restart the tweak tool after installing.
sudo apt install gnome-shell-extensions
and might need to logout.
– JKHA
May 07 '20 at 05:41
You can set a theme using Terminal :
sudo chmod -R 755 /usr/share/themes/Zukitwo
gsettings set org.gnome.desktop.interface gtk-theme "Zukitwo"
gsettings set org.gnome.desktop.wm.preferences theme "Zukitwo"
gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"
use a known working default theme like above and it should get you back but this below may be your real nightmare are thems that won't work.Installing themes that don't work LEAVE behind entries and if you click on a failed entry you will break the tweak tool.
Uninstalling a themes not that easy though..No idea how to remove a bad theme from the list in tweak tool.