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…

Annunci

Alternative a Unity e Gnome Shell

Ciao ragazzi, come va? Sembra che non ci si veda da un bel pò, vero?

Finalmente torno a scrivere sul quell’argomento che mi esplode dentro al cuore ogni giorno di più: linux! E stavolta lo faccio con un post “d’apertura”! Continua a leggere