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

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...