Vuoi cambiare l’icona, il tema della shell o anche il carattere in Gnome Shell ma non sai come fare? Da non preoccuparsi. In questo articolo ti insegneremo tutto quello che c’è da sapere su come prendere l’ambiente desktop Gnome, personalizzarlo e renderlo tuo. Dalle icone, ai cursori del mouse, estensioni, caratteri e tutto il resto; questa è la guida definitiva su come personalizzare Gnome Shell. Iniziamo!
Sommario:
Strumento Tweak
Tutta la personalizzazione in questo articolo viene eseguita con l’aiuto di Gnome Tweak Tool. Potrebbe essere già installato sul tuo PC Linux. In caso contrario, aprire un terminale o un browser software, cercare “Gnome Tweak Tool” e installarlo.
Aspetto
A differenza di molti altri ambienti desktop, la sezione dell’aspetto in Gnome Shell è molto semplice. Non è separato in singole schede. In questa sezione, esamineremo come modificare i diversi aspetti dell’aspetto di Gnome.
Per iniziare, assicurati che Gnome Tweak Tool sia installato. Una volta installato, apri lo strumento di modifica e guarda l’elenco sul lato sinistro. Seleziona “Aspetto”.
Tema GTK
Gnome è costruito in gran parte grazie al toolkit GTK3. Di conseguenza, tutte le decorazioni delle finestre ei controlli del programma si basano su di esso. Il tema GTK è responsabile di come tutto questo appare sul tuo sistema operativo. Per cambiare il tema, vai allo strumento Tweak e trova “GTK +”.
Accanto all’etichetta GTK +, seleziona il menu a discesa. Questo rivela un elenco di tutti i temi GTK3 installati disponibili sul sistema. Seleziona un tema dall’elenco e Gnome cambierà immediatamente nel tema selezionato.
Tema Gnome Shell
Gnome è costruito in gran parte grazie a GTK3. Detto questo, il tema GTK + non è l’unica cosa che compone un desktop Gnome. C’è anche la Shell di cui preoccuparsi.
L’aspetto Shell di Gnome è il desktop generale che l’utente utilizza quando si trova all’interno di Gnome. Per impostazione predefinita, Gnome Shell utilizza il tema Adwaita. Va bene per quanto riguarda un normale tema di Gnome, ma non è il più eccitante.
Non è possibile modificare il tema della shell immediatamente. Invece, dovrai abilitare un’estensione che consenta l’utilizzo dei temi utente con Gnome Shell. Per abilitare l’estensione, cerca la “scheda Estensione” a sinistra e fai clic su di essa. Cerca “Temi utente” e fai clic sul pulsante “Disattiva” per attivarlo.
Con il pulsante cliccato, torna su “Aspetto” e trova “Tema shell”. Fare clic sul menu a discesa accanto ad esso e selezionare un tema nel menu. Gnome passerà immediatamente al nuovo tema.
Icone
Cambiare le icone in Gnome 3 è semplicissimo. Per farlo, vai alla scheda Aspetto all’interno di Gnome Tweak Tool e individua “Icone”. Accanto all’etichetta “Icone” è presente un menu a discesa. Fare clic su questo menu per visualizzare tutti i temi delle icone installati sul sistema. Per passare a qualsiasi tema, selezionane uno dall’elenco.
Cursore
Per coloro che non lo sapevano: è possibile impostare il tema del cursore del mouse su Gnome 3. Per farlo, vai su “Aspetto” in Gnome Tweak Tool e cerca “Cursor”. Seleziona il menu a discesa accanto all’etichetta “Cursore”. Il menu a discesa rivelerà tutti i temi del cursore del mouse installati sul sistema. Per cambiare i temi, selezionane uno.
Estensioni
Il desktop Gnome 3 consente agli utenti di installare estensioni per modificare facilmente il funzionamento del desktop. Per personalizzare queste estensioni, seleziona “Estensioni” nello strumento Tweak. Da qui, le estensioni installate possono essere attivate e disattivate o disinstallate completamente. Ulteriori informazioni sulle estensioni qui.
Caratteri
Per modificare le impostazioni dei caratteri in Gnome Shell, individua la sezione “Caratteri” di Gnome Tweak Tool. La sezione dei caratteri offre all’utente molte opzioni. Da questo menu è possibile modificare il carattere dei titoli delle finestre, il carattere dei documenti e il carattere a spaziatura fissa. È anche possibile modificare l’aspetto dei caratteri sul sistema (fattori di suggerimento e anti-aliasing) e attivare / disattivare il ridimensionamento HiDPI.
Bar in alto
La barra in alto in Gnome non è così libera da personalizzare come altri ambienti desktop su Linux. Detto questo, ci sono opzioni. Per accedere a queste opzioni di personalizzazione, apri Gnome Tweak Tool e seleziona “Barra superiore”.
All’interno dell’area “Barra in alto”, ci sono alcune impostazioni che gli utenti possono abilitare. Seleziona le caselle per abilitare cose come la visualizzazione della data accanto all’ora, l’aggiunta di secondi accanto all’ora e la visualizzazione dei numeri accanto alle settimane sul calendario. Gli utenti possono anche disabilitare il menu dell’applicazione in modalità panoramica in Gnome Shell selezionando il pulsante di disattivazione accanto a “Mostra menu dell’applicazione”.
Altre impostazioni
Una delle cose di cui gli utenti si sentono infastiditi quando usano Gnome Shell è la mancanza di pulsanti di minimizzazione e ingrandimento presenti su Windows.
Per attivarlo, vai su Gnome Tweak e trova “Windows”. All’interno di quest’area, cerca i pulsanti accanto a “Riduci a icona” e “Ingrandisci”. Fare clic sui pulsanti per abilitarli a ridurre a icona e massimizzare le funzionalità nell’ambiente desktop Gnome Shell.
Conclusione
Sebbene non esista un ambiente desktop “standard” per Linux, Gnome Shell potrebbe anche esserlo. Praticamente ogni distribuzione Linux mainstream con un qualsiasi peso nella comunità la utilizza come ambiente desktop principale. È ovunque. Ecco perché è così bello sapere che è uno dei desktop più facili quando si tratta di personalizzazione. Se stai cercando un ambiente desktop moderno, pieno di ottime opzioni di personalizzazione, Gnome è un’ottima scelta!