Quiero cambiar el tema de gnome shell, uso ubuntu 14.10 y las extensiones de usuario no funcionan, ¿alguien puede ayudarme?
Respuesta1
Deberías poder utilizar elTemas de usuarioextensión (asegúrese de que esté habilitada):
yHerramienta de ajuste de gnomo:
También puedes cambiar el tema desde la línea de comandos, examinando cosas usando dconf-editor, que puedes usar gsettingspara cambiar el tema; por lo tanto, para Gnome 3.8 con la extensión Temas de usuario, esto establece el tema en "Zukitwo":
gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"
Restablece el tema:
gsettings reset org.gnome.shell.extensions.user-theme name
Obtiene el nombre del tema actual.
gsettings get org.gnome.shell.extensions.user-theme name
Si ha descargado el tema desde algún lugar (por ejemplo, un zip deDeviantArt), coloque el directorio del tema ~/.local/share/themes(si no existe, créelo). Tenga en cuenta que el tema no funcionará si no contiene una gnome-shellcarpeta con el tema de shell de Gnome, en cuyo caso puede crear una similar usandoColores de eleganciao similar.
ADVERTENCIA:Este método es más difícil de deshacer y también cambiará el tema de la pantalla de inicio de sesión (si el tema no funciona, es más probable que salga mal...)
De lo contrario(es posible que desees hacer esto ejecutándolo nautiluscomo root; si es así, usapkexec/gksudo), puede copiar el contenido gnome-shelldel tema en /usr/share/gnome-shell/theme; de antemano, asegúrese de hacer una copia de seguridad del tema existente:
sudo cp -r "/usr/share/gnome-shell/theme" "/usr/share/gnome-shell/themeBACKUP"
También puedes cambiar los permisos para poder acceder a este directorio como un usuario normal:
sudo chmod 777 "/usr/share/gnome-shell/theme"