In Gnome Tweak Tool, non riesco a cambiare il tema Shell:
Passa il mouse sopra gli spettacoli punto esclamativo il seguente tool-tip: Shell user-theme extension not enabled
. Sto usando Ubuntu 14.10 e ho installato gnome-shell-extensions.
In Gnome Tweak Tool, non riesco a cambiare il tema Shell:
Passa il mouse sopra gli spettacoli punto esclamativo il seguente tool-tip: Shell user-theme extension not enabled
. Sto usando Ubuntu 14.10 e ho installato gnome-shell-extensions.
Risposte:
Ho risolto questo problema da solo, ed è stata una soluzione estremamente banale:
Gnome Tweak Tool
.Extensions
voce di menu e sposta il User themes
cursore su On
.Gnome Tweak Tool
e riapri.Shell theme
nel Appearance
menu.Oltre a @miceagol's
rispondere: se User Themes
nel Extensions
pannello di GNOME Tweak Tool non viene visualizzato , potrebbe essere necessario installarlo da extensions.gnome.org . Riavvia lo strumento di modifica dopo l'installazione.
Puoi impostare un tema usando Terminale:
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"
usa un tema predefinito funzionante noto come sopra e dovrebbe riportarti indietro, ma questo sotto potrebbe essere il tuo vero incubo sono quelli che non funzioneranno.Installa i temi che non funzionano LASCIA dietro le voci e se fai clic su una voce non riuscita rompere lo strumento di modifica.
Disinstallare un tema non è così semplice ... Non ho idea di come rimuovere un tema cattivo dall'elenco nello strumento di modifica.