Come installare e utilizzare le modifiche GNOME per personalizzare il desktop Linux

Se si utilizza una distribuzione Linux con un ambiente desktop a base di Gnome per molto tempo, devi essere consapevole della transizione delle librerie GNOME 2 / GTK2 a GNOME Shell / GTK3. Con l'avvento di Gnome Shell, molte impostazioni utili esistenti negli ambienti desktop a base di Gnome 2 sono stati rimossi, nascosti o trasferiti, rendendo difficile per l'utente medio trovare queste impostazioni. Questo articolo discuterà uno strumento chiamato "Tweaks Gnome" o "Strumento di tweak Gnome" che rivela alcune di queste impostazioni agli utenti finali nelle distribuzioni Linux basate su shell Gnome come Ubuntu. Queste impostazioni di solito non sono disponibili nelle impostazioni del sistema principale (noto anche come centro di controllo gnome).

Installa le modifiche GNOME

È possibile installare modifiche Gnome in Ubuntu eseguendo il comando specificato di seguito:

$ sudo apt Installa gnome-tweaks

Le modifiche GNOME possono essere installate in altre distribuzioni Linux basate su shell Gnome dal gestore dei pacchetti. In alcune distribuzioni, potresti trovarlo con il nome di "Gnome Tweak Tool".

È possibile avviare le modifiche GNOME dal lancio dell'applicazione o eseguendo il comando specificato di seguito:

$ gnome-tweaks

Personalizza il pannello superiore

Gnome Shell è costituito da un pannello situato sul bordo superiore dello schermo. Ospita un vassoio di sistema, un grilletto di attività e un orologio centrato sul pannello. Non sono disponibili impostazioni per impostazione predefinita per personalizzare il layout o gli elementi del pannello superiore. Tuttavia, nella sezione "Top Bar" delle modifiche GNOME, è possibile disabilitare il trigger di corner a caldo delle attività, consentire la percentuale di batteria rimanente e personalizzare il comportamento dell'applet di clock, come mostrato nello screenshot seguente:

Gestisci le estensioni di shell gnome

Le estensioni di guscio di gnome sono componenti ufficiali e di terze parti che estendono la funzionalità di gnome shell. Puoi ottenere queste estensioni da qui. Per impostazione predefinita, le impostazioni di estensione non sono rivelate nel Gnome Control Center. È possibile gestire le estensioni dalle modifiche GNOME, come mostrato nello screenshot seguente:

Le ultime versioni di Gnome Shell ora includono anche una nuova app "Extensions" che può essere lanciata dal lancio dell'applicazione per gestire le estensioni installate.

Gestire le impostazioni degli spazi di lavoro

Gli aree di lavoro sono aree desktop separate in cui è possibile raggruppare le applicazioni di esecuzione secondo le tue esigenze. Ad esempio, è possibile raggruppare un'applicazione per lettore musicale e un'applicazione di video in un spazio di lavoro dedicato alla riproduzione di media o puoi raggruppare un'applicazione editor di testo e un emulatore terminale in un altro spazio di lavoro destinato allo sviluppo di applicazioni.

Puoi andare alla sezione "spazi di lavoro" delle modifiche GNOME per passare da spazi di lavoro dinamici su richiesta o un numero fisso di spazi di lavoro. È inoltre possibile configurare gli aree di lavoro per apparire solo sul display primario o su tutti i display connessi.

Cambia il comportamento del gestore delle finestre

Gnome Shell include Mutter come finestra predefinita e gestione di compositi. Puoi cambiare il suo comportamento dalla sezione "Windows" delle modifiche Gnome. È possibile allegare o staccare le finestre moderne, abilitare o disabilitare lo snap della finestra e la piastrella del bordo, personalizzare il comportamento a fuoco della finestra, modificare il tasto Super Action (di solito il tasto con l'icona di Windows sulla tastiera) ecc.

Personalizza il comportamento della barra del titolo della finestra

La sezione "Totlebars della finestra" nelle modifiche GNOME consente di ridurre al minimo e massimizzare i pulsanti e il loro posizionamento su una finestra dell'applicazione. Puoi anche modificare il comportamento dei clic del mouse sulle barre del titolo e varie azioni mappate su di loro.

Aggiungere o rimuovere le applicazioni di avvio

È possibile utilizzare la sezione "Applicazioni di avvio" nelle modifiche GNOME per aggiungere o rimuovere le applicazioni che verranno lanciate automaticamente su un nuovo riavvio o in una nuova sessione di accesso.

Si noti che questa sezione in Gnome Tweaks non consente di inserire comandi personalizzati. C'è un'altra applicazione autonoma semplicemente chiamata "Applicazioni di avvio" che può essere utilizzata per definire i comandi personalizzati.

Modificare le impostazioni dei dispositivi di input

La sezione "tastiera e mouse" nelle modifiche GNOME può essere utilizzata per modificare il comportamento di varie fonti di input collegate al sistema. È possibile modificare la velocità di accelerazione, il comportamento touchpad e alternare alcune funzionalità di accessibilità.

Modifica la configurazione del carattere

Poiché le impostazioni dei caratteri non sono integrate nelle impostazioni del sistema, l'unico modo per cambiare le proprietà dei caratteri è utilizzare la sezione "caratteri" nelle modifiche GNOME. Qui puoi cambiare gli stili di carattere, i loro pesi e modificare il modo in cui rendono modificando le impostazioni di accenni, antialiasing e ridimensionamento.

Cambia il tema del sistema

Puoi andare alla sezione "Aspetto" per cambiare il tema GTK3, il tema di gnome shell, il tema icona, lo stile del cursore e il tema del suono. Si noti che per modificare il tema della shell gnome, potrebbe essere necessario installare l'estensione "temi utente" disponibile qui.

Altre impostazioni

Infine nella sezione "generale", è possibile modificare alcune altre impostazioni per abilitare o disabilitare le animazioni di sistema o modificare il comportamento di sospensione quando si utilizzano dispositivi a batteria.

Impostazioni più avanzate

Se non riesci a trovare un'impostazione particolare nelle modifiche GNOME, prova a utilizzare "DConf Editor" per sfogliare le impostazioni avanzate. DConf Editor è un negozio centrale per la gestione delle impostazioni di tutte le applicazioni moderne basate su GTK3 e GNOME 3. È uno strumento estremamente potente e un interruttore sbagliato o altre modifiche nelle impostazioni possono rompere il sistema. Cammina attentamente durante l'utilizzo, ma se sai cosa stai facendo, è uno strumento piuttosto completo per cambiare quasi ogni aspetto degli ambienti desktop a base di shell di Gnome.

È possibile installare l'editor DCONF in Ubuntu eseguendo il comando specificato di seguito:

$ sudo apt install dconf-editor

L'editor DCONF può essere installato in altre distribuzioni Linux basate su shell GNOME dal gestore dei pacchetti.

Conclusione

Gnome modifiche è uno strumento piuttosto utile se si desidera cambiare alcune impostazioni nascoste senza rischiare la rottura del sistema. Gli utenti finali che provano Gnome Shell per la prima volta potrebbero non saperlo. Distribuzioni Linux che utilizzano gnome shell come ambiente desktop predefinito dovrebbe avere modifiche GNOME preinstallate per impostazione predefinita.