Why is Shell theme disabled in Gnome Tweak Tool?
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.
themes gnome-shell gnome-shell-extension
edited Oct 31 '17 at 7:03
muru
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
add a comment |
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.
themes gnome-shell gnome-shell-extension
edited Oct 31 '17 at 7:03
muru
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43
add a comment |
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.
themes gnome-shell gnome-shell-extension
edited Oct 31 '17 at 7:03
muru
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
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.
themes gnome-shell gnome-shell-extension
themes gnome-shell gnome-shell-extension
edited Oct 31 '17 at 7:03
muru
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
edited Oct 31 '17 at 7:03
muru
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
edited Oct 31 '17 at 7:03
muru
1
edited Oct 31 '17 at 7:03
muru
1
edited Oct 31 '17 at 7:03
muru
1
1
asked Nov 4 '14 at 20:46
miceagol
1,3951913
asked Nov 4 '14 at 20:46
miceagol
1,3951913
asked Nov 4 '14 at 20:46
miceagol
1,3951913
1,3951913
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43
add a comment |
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43
add a comment |
3 Answers
3
active
oldest
votes
I solved this problem myself, and it was an extremely trivial solution:
- Open
Gnome Tweak Tool. - Click on the
Extensionsmenu item, and move theUser themesslider toOn. - Close
Gnome Tweak Tooland open it again. - You should now be able to choose a
Shell themein theAppearancemenu.
answered Nov 6 '14 at 19:08
miceagol
1,3951913
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
add a comment |
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.
edited Jul 10 '17 at 15:34
muru
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
add a comment |
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.
answered Apr 25 '16 at 16:34
Roger
311
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
add a comment |
protected by Community♦ Dec 19 at 11:46
Thank you for your interest in this question.
Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).
Would you like to answer one of these unanswered questions instead?
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
I solved this problem myself, and it was an extremely trivial solution:
- Open
Gnome Tweak Tool. - Click on the
Extensionsmenu item, and move theUser themesslider toOn. - Close
Gnome Tweak Tooland open it again. - You should now be able to choose a
Shell themein theAppearancemenu.
answered Nov 6 '14 at 19:08
miceagol
1,3951913
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
add a comment |
I solved this problem myself, and it was an extremely trivial solution:
- Open
Gnome Tweak Tool. - Click on the
Extensionsmenu item, and move theUser themesslider toOn. - Close
Gnome Tweak Tooland open it again. - You should now be able to choose a
Shell themein theAppearancemenu.
answered Nov 6 '14 at 19:08
miceagol
1,3951913
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
add a comment |
I solved this problem myself, and it was an extremely trivial solution:
- Open
Gnome Tweak Tool. - Click on the
Extensionsmenu item, and move theUser themesslider toOn. - Close
Gnome Tweak Tooland open it again. - You should now be able to choose a
Shell themein theAppearancemenu.
answered Nov 6 '14 at 19:08
miceagol
1,3951913
I solved this problem myself, and it was an extremely trivial solution:
- Open
Gnome Tweak Tool. - Click on the
Extensionsmenu item, and move theUser themesslider toOn. - Close
Gnome Tweak Tooland open it again. - You should now be able to choose a
Shell themein theAppearancemenu.
answered Nov 6 '14 at 19:08
miceagol
1,3951913
answered Nov 6 '14 at 19:08
miceagol
1,3951913
answered Nov 6 '14 at 19:08
miceagol
1,3951913
answered Nov 6 '14 at 19:08
miceagol
1,3951913
1,3951913
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
add a comment |
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
2
2
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
If you just installed gnome-tweak-tool, you may need to log out/in before the extensions appear.
– reergymerej
Nov 29 '15 at 3:06
add a comment |
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.
edited Jul 10 '17 at 15:34
muru
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
add a comment |
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.
edited Jul 10 '17 at 15:34
muru
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
add a comment |
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.
edited Jul 10 '17 at 15:34
muru
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
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.
edited Jul 10 '17 at 15:34
muru
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
edited Jul 10 '17 at 15:34
muru
1
edited Jul 10 '17 at 15:34
muru
1
edited Jul 10 '17 at 15:34
muru
1
1
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
answered Jan 11 '17 at 21:25
Timothy C. Quinn
31738
31738
add a comment |
add a comment |
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.
answered Apr 25 '16 at 16:34
Roger
311
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
add a comment |
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.
answered Apr 25 '16 at 16:34
Roger
311
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
add a comment |
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.
answered Apr 25 '16 at 16:34
Roger
311
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.
answered Apr 25 '16 at 16:34
Roger
311
answered Apr 25 '16 at 16:34
Roger
311
answered Apr 25 '16 at 16:34
Roger
311
answered Apr 25 '16 at 16:34
Roger
311
311
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
add a comment |
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
This is a good answer. Let's stick with the gnome default themes.
– ukos
Aug 9 at 9:20
add a comment |
protected by Community♦ Dec 19 at 11:46
Thank you for your interest in this question.
Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).
Would you like to answer one of these unanswered questions instead?
Are you actually using gnome shell or are you using ubuntu with unity desktop?
– xangua
Nov 4 '14 at 21:19
I'm using gnome shell. I managed to solve the problem myself. See below.
– miceagol
Nov 6 '14 at 20:43