Nuovo look per GNOME Shell.

Nuovo look per GNOME Shell

Come cambiare la nostra nuova interfaccia grafica

1 Serve un tool

Prima di installare i temi è necessario aggiungere

il programma GNOME tweak tool al sistema.

Apriamo dunque un terminale digitando la combinazione

di tasti Ctrl+Alt+ T e inseriamo il comando sudo apt-get

install gnome-tweak-tool e premiamo Invio. Inseriamo la

password di root e attendiamo che termini l'installazione.

2 Nuovi Repository

Inseriamo i repository del WEB UPD8 team (www.webupd8.org),

un sito molto conosciuto nell'Open Source e aggiorniamo la cache

dei pacchetti. Per farlo digitiamo nello stesso terminale sudo add-

apt-repository ppa:webupd8team/gnome3;sudo apt-get update.

Premiamo Invio quando richiesto e proseguiamo.

3 Installazione temi

Installiamo l'estensione per i temi utente che il WEB UPD8 team

ha preparato per noi eseguendo sudo apt-get install gnome-shell-

extensions-user-theme. Ora, copiamo il tema precedentemente

scaricato nel corso dell'articolo nella cartella – [trattino ondulato]

/.themes. Digitiamo quindi cp-r-/Scaricati/Air-/.themes per fare ciò.

4 Temi utente

Quando le operazioni sono concluse, possiamo chiudere il terminale,

avviare la dashboard e inserire nella form di ricerca la stringa

impostazioni avanzate. Digitiamo quindi Invio per avviare Gnome

tweak tool. Attiviamo ora l'estensione User Themes spuntando su

ON il pulsante Estensione User Themes [ voce Estensioni della shell].

5 Tutto fatto

Subito dopo andiamo alla sezione Temi e selezioniamo Air presente

alla voce Shell Theme. Le modifiche saranno immediatamente

visibili, senza nemmeno bisogno di riavviare. Volendo è possibile

anche cambiare sfondo per abbinarlo meglio ai nuovi colori. Clicchiamo

sul desktop con il pulsante destro del mouse e scegliamo Cambia sfondo

scrivania.