
Gnome Shell di default offre poche personalizzazioni a parte lo sfondo non possiamo cambiare ne tema, ne set '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...
Leggi il seguito »










