Gnome-shell user themes: la soluzione!

Una delle cose che più mi infastidisce è l’installazione di temi per Gnome-Shell.

Come ben sapete (o no) da utente  non è possibile installare temi per personalizzare Gnome-Shell; ed anche se andaste a scaricare direttamente l’estensione da extensions.gnome.org questa non funzionerebbe. Che fare allora? Rompere tutto?
No! Nella vita (ubuntiana) c’è bisogno di “sudo”re!!

Aggiungiamo il seguente repository e  l’estensione funzionante:

sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme

Riavviamo la shell…