Gnome Shell di default offre poche personalizzazioni, a parte lo sfondo non possiamo cambiare né il tema, né il set d’icone, font preferito, ecc. Per accedere ad alcune personalizzazioni dobbiamo installare Gnome Tweak Tool; utility realizzata proprio dal team Gnome la quale permette di personalizzare al meglio l’ambiente desktop dai temi, icone alla gestione delle estensioni.
Chi utilizza Gnome Shell su Ubuntu 12.04 ci ha segnalato di avere un problema nel cambiare tema per Gnome Shell: anche se copiata correttamente la cartella del tema nella cartella .themes, Gnome Tweak Tool non ci permette di cambiare il tema dato che nella sezione dedicata appare un triangolino giallo.
Per risolvere il problema basta installare due estensioni: gnome-shell-extensions e gnome-shell-extensions-common nella nostra distribuzione. Una volta installate, possiamo cambiare il tema di Gnome Shell di default con altri.
Per installare gnome-shell-extensions e gnome-shell-extensions-common su Ubuntu 12.04 – 12.10 basta digitare da terminale:
sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions gnome-shell-extensions-common
E confermiamo.
Al termine riavviamo Gnome Shell premendo ALT+F2 e digitando R.
Ora dal nostro browser rechiamoci in questa pagina e clicchiamo su On e confermiamo.
A questo punto avviamo Gnome Tweak Tool e dalla sezione estensioni della shell, attiviamo l’estensione User Themes
Una volta attivata, andiamo nella sezione Tema ed avremo la possibilità di cambiare tema di Gnome Shell.
