In the latest version of Ubuntu, which is Ubuntu 17.10 with default desktop environment of GNOME, Ubuntu has disabled user theme extension in gnome tweak tool. Because of that I can't change the theme of GNOME. How do I enable / install the user theme extension?
Asked
Active
Viewed 1.8k times
5
-
Maybe related: https://bugs.launchpad.net/gnome-shell-extensions/+bug/772221 – Videonauth Oct 20 '17 at 06:00
-
Could you expand a bit more? What do you mean by "not working"? – pomsky Oct 20 '17 at 07:19
-
I goto install dash to panel extension. How to install it – Kino Shan Oct 20 '17 at 07:24
-
Have you tried removing and reinstalling from here? – pomsky Oct 24 '17 at 13:04
2 Answers
3
I did a fresh install of 17.10, and the User Themes shell extension wasn't installed by default.
You can install the extension by downloading it from here on the GNOME Shell Extensions site.
After installing the User Themes extension from the website, enable it via the Tweak Tool (if not already enabled) and close/reopen the Tweak Tool. Then the option to change the shell theme should be available on the first page.
On my system, I couldn't install shell extensions from the website because the GNOME Shell Integration connector wasn't installed. You can install that by running this at a terminal:
sudo apt install chrome-gnome-shell
If you have to install the connector, refresh the extension page in your browser before you attempt to install the extension.
