I've just installed fedora 17 and
gnome-tweak-tool, but it crashes everytime and I can't change the theme. Any other way to do that?
You can do that with dconf-editor or in terminal.
gnome-shell-extension-user-theme(if you haven't already).
org > gnome > shell then edit the value field for the
enabled-extensions key, adding
'email@example.com'to the existing elements (if any)
alternatively, in terminal, run:
gnome-shell-extension-tool -e firstname.lastname@example.org
- Then enable your shell theme (e.g.
dconf-editor: expand to
org > gnome > shell > extensions > user-theme and change the value for the
name key to
or, in terminal, run:
gsettings set org.gnome.shell.extensions.user-theme name "Adwaita Sky"
A shell restart might be required after these operations: Alt+F2 >> r