Ubuntu: installare le Gnome Shell Extensions in Gnome 3 [+ supporto ai temi]

E’ passato un bel po’ di tempo e ancora vi state chiedendo come personalizzare GNOME 3? Eccomi con una risposta funzionale ed efficiente alle vostre domande!

Si chiamano Gnome Shell Extensions, e sono una serie di files che utilizzano il javascript ed il linguaggio grafico CSS per modificare le impostazioni grafiche di GNOME Shell v. 3 e rendere il vostro desktop sempre più personalizzato!

Prima brutta notizia: le GSE non hanno un proprio repository PPA, anche se sono tutte disponibili con gli installer .deb all’interno di un unico archivio. Le estensioni più importanti disponibili nell’archivio suddetto sono:

• Theme Selector, la più interessante tra le applicazioni – anche se non ufficiale – che vi permetterà di selezionare ed applicare facilmente i temi per GNOME Shell 3;
• Extension Dock, che installa una dockbar laterale del tutto identica a quella presente in modalità attività contenente i lanciatori delle applicazioni;
• Drive Menu, che aggiunge un’icona sul pannello superiore che permette di smontare al volo le periferiche di archiviazione montate;
• Windows Navigator, che permetterà – all’interno della modalità Attività – di switchare tra le finestre usando la combinazione di tasti ALT+numero_finestra;
• Alternative Status Menu, che renderà permanente la voce spegni all’interno dell’indicatore di sessione, senza bisogno della pressione del tasto ALT per farla comparire.

Allora, siete interessati? Vi dicevo prima che le GSE non hanno un PPA dedicato, ma possono essere installate altrettanto rapidamente tramite una serie di comandi da terminale.

Prima di procedere vi anticipo che c’è un ordine da seguire: va infatti installato, per primo, il pacchetto gnome-shell-extensions-common (dipendenza per tutti), seguito poi da gnome-shell-extensions-user-theme (dipendenza per il theme manager) e, in seguito, tutti gli altri pacchetti.

Apriamo un terminale utilizzando la combinazione di tasti CTRL+ALT+T e traduciamo in comandi quanto detto fin ora:

cd /tmp
wget http://dl.dropbox.com/u/7028861/Blog/gnome-shell-extensions/gnome-shell-extensions%20DEBS.zip
unzip gnome-shell-extensions\ DEBS.zip
cd gnome-shell-extensions\ DEBS/
sudo dpkg -i gnome-shell-extensions-common_3.0.1-2_all.deb
sudo dpkg -i gnome-shell-extensions-user-theme_3.0.1-2_all.deb
sudo dpkg -i *.deb

EDIT: provate anche questo link come alternativa.

Abbiamo ora installato le nostre estensioni: vi renderete presto conto di quanto queste siano utili e di quanto, poi, non riuscirete più a farne a meno :)

Voglio analizzare in maniera particolare il Theme Selector perchè, prima di utilizzare i temi, avremo bisogno di scaricarne qualcuno :) Occhio a questi ultimi, però! Il Theme Selector, per il momento, supporta soltanto i temi per GNOME SHELL e NON quelli per GTK 3!

Saprete sicuramente che, per il momento, i temi per GNOME SHELL 3 sono davvero pochi, anche se siamo fortunati: Gabriele@GMStyle, l’autore del porting delle GNOME EXTENSION da .rpm a .deb, ha creato un bell’archivio contenente tanti temi pronti per l’uso :) Non ci resta, quindi, che scaricarli e spostarli nella directory apposita! E’ più facile a farsi che a dirsi e, ovviamente, utilizzeremo il nostro bel terminale! Apriamolo, e digitiamo:

cd /tmp
wget http://dl.dropbox.com/u/7028861/Blog/gnome-shell-extensions/themeselector-0.9.zip
unzip themeselector-0.9.zip
cd themeselector-0.9
mv .themes ~/.themes

Ora entriamo nella modalità Attività - clickando sul tasto Attività oppure posizionando il mouse nell’angolo in alto a sinistra dello schermo: noterete la comparsa di una nuova voce, talte Themes. Clickateci su e… sorpresa! Potrete selezionare il tema che più vi piace tra quelli precedentemente installati!

Gnome Themes Selector

Piccolo tip: quando andrete a scaricare altri temi per GNOME SHELL 3 ricordate di decomprimerli direttamente in ~/.themes in modo da renderli immediatamente pronti all’uso :)