tuhaihe
2012-09-18 17:11 deepin
@algarues, you should install the gnome-shell-theme-extension from https://extensions.gnome.org/extension/19/user-themes/.
If you can't start gnomed-tweak-tool after installing the extension. Then you can do the following cmd in the terminal:
Copy the Code
Then download one gnome shell theme and move it to ~/.themes or /usr/share/themes. Try gnome-tweak-tool ~~
If you can't start gnomed-tweak-tool after installing the extension. Then you can do the following cmd in the terminal:
- cd ~/.local/share/gnome-shell/extensions/[email protected]/
- cd schemas/
- sudo cp org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas/
- sudo glib-compile-schemas /usr/share/glib-2.0/schemas
Then download one gnome shell theme and move it to ~/.themes or /usr/share/themes. Try gnome-tweak-tool ~~
Reply Like 0 View the author
but I cannot change the theme in gnome shell
in the advances settings, the "!" symbol appears near the user theme extension and it cannot be switched on
the same "!" appear near the "shell theme" box in the "theme" tab
Is it just a bug or is it deliberate from you?