Come visualizzare e modificare le impostazioni avanzate del dock Ubuntu predefinito

Ubuntu è passato all'ambiente desktop "shell gnome" un paio di anni fa. La shell è leggermente personalizzata e a tema per imitare l'ambiente desktop "unità" precedente. Il dock di shell gnome predefinito viene sostituito da una forchetta di estensione di guscio Gnome "Dash-to-Dock", ribattezzato semplicemente come "Ubuntu Dock."Dash-to-Dock offre una pletora di opzioni per personalizzare il dock. Tuttavia, gli sviluppatori di Ubuntu hanno optato per mantenere le cose semplici e minime esponendo solo una manciata di opzioni. Le numerose opzioni di personalizzazione, tuttavia, sono ancora presenti. Questo articolo spiegherà come modificare queste impostazioni avanzate nascoste del dock Ubuntu (testato con Ubuntu 20.04 LTS).

Impostazioni del dock Ubuntu predefinite

È possibile accedere a Ubuntu Dock Impostazioni dall'icona "Impostazioni" nel lancio dell'applicazione. Nella scheda "Aspetto", vedrai alcune impostazioni per personalizzare il dock. Oltre a questi, non sono disponibili altre opzioni di personalizzazione per gli utenti per impostazione predefinita.

Editor DCONF

L'editor DConf è un'utilità di configurazione centralizzata che memorizza le impostazioni di shell e app in coppie di valore chiave. Quasi tutte le app predefinite e gnome3 di terze parti utilizzano DConf per archiviare le opzioni. L'editor DCONF è uno strumento grafico per gestire queste impostazioni, di solito nascoste agli utenti. La modifica diretta delle impostazioni dall'editor DCONF è scoraggiata dagli sviluppatori poiché una configurazione sbagliata può rompere il sistema. Tuttavia, se stai attento e prendi un backup prima di cambiare le impostazioni, l'editor DConf può essere utilizzato per modificare le impostazioni avanzate.

Per installare l'editor DConf in Ubuntu, eseguire il comando di seguito:

$ sudo apt install dconf-editor

Per fare un backup di tutte le opzioni disponibili in tutto il sistema e nel loro stato attuale, eseguire il comando di seguito:

$ dconf dump /> backup.TXT

Per caricare il backup preso sopra, eseguire il comando sotto:

$ dconf caricamento / < backup.txt

Per ripristinare tutte le impostazioni a livello di sistema, eseguire il comando di seguito:

$ dconf reset -f /

Il percorso per Ubuntu Dock in DConf Editor è:

/org/gnome/shell/estensioni/dash-to-dock/

Per fare un backup di Ubuntu Dock (o qualsiasi altra app specifica), eseguire il comando di seguito fornendo il percorso completo:

$ dconf dump/org/gnome/shell/estensioni/dash-to-dock/> backup.TXT

Per caricare il backup preso sopra, eseguire il comando sotto:

$ DConf Load/Org/Gnome/Shell/Extensions/Dash-to-Dock/ < backup.txt

Per ripristinare le impostazioni del dock Ubuntu, eseguire il comando di seguito:

$ dconf reset -f/org/gnome/shell/estensioni/dash-to-dock/

Ora che sai come fare un backup, ripristinare e ripristinare le impostazioni DConf, puoi provare a cambiare le impostazioni avanzate del dock Ubuntu. Apri l'app "DConf Editor" dal lancio dell'applicazione. Cerca "Dash-to-Dock" per accedere alle impostazioni del dock. È inoltre possibile navigare manualmente su "Org> Gnome> Shell> Extensions> Dash-to-Dock" per accedere alle impostazioni. Tutte le impostazioni che compaiono nella voce "Dash-to-Dock" sono autoesplicative e la descrizione è fornita dove necessario. Queste impostazioni consistono principalmente in levette, caselle di controllo e pulsanti di opzione. Basta cambiarli in base alle tue esigenze. Ogni impostazione può essere ripristinata individualmente al suo valore predefinito dalla GUI stessa.

Impostazioni di estensione shell Dash-to-Dock

È possibile saltare completamente utilizzando l'editor DConf e installare un'estensione Dash-to-Dock per modificare le impostazioni del dock Ubuntu. Eventuali modifiche apportate a Dash-to-Dock si applicheranno anche a Ubuntu Dock, anche se si disinstalla in seguito Dash-to-Dock.

Per installare Dash-to-Dock in Ubuntu, eseguire il comando seguente per installare la dipendenza necessaria:

$ sudo apt installa chrome-shell

Dopo aver installato il pacchetto sopra, è possibile installare un'estensione di shell Dash-to-Dock da qui. Dovrai aprire il collegamento in qualsiasi browser a base di cromo o cromo per installare l'estensione. Dopo aver installato l'estensione, fare clic con il pulsante destro del mouse sull'icona della griglia dell'applicazione sul pannello DASH-to-Dock visibile per accedere alle impostazioni.

Dall'utilità di configurazione della GUI, è possibile modificare le impostazioni secondo le tue esigenze.

Per reimpostare Ubuntu Dock nelle sue impostazioni predefinite, è primo per rimuovere l'estensione DASH-to-Dock e quindi utilizzare il comando DConf REXT spiegato sopra. Per motivi di completamento, ecco il comando che è necessario eseguire per reimpostare Ubuntu Dock alle impostazioni predefinite dopo aver rimosso il trattino-estensione dal link di download sopra specificato:

$ dconf reset -f/org/gnome/shell/estensioni/dash-to-dock/

Se riesci a vedere sia Ubuntu Dock che Dash-to-Dock dopo aver seguito i passaggi sopra, disconnettersi e re-login per risolvere il problema. Puoi anche risolvere questo problema ricaricando gnome shell premendo e inserendo "r" (senza quotazioni) nella casella di input popup.

Conclusione

Le impostazioni del dock ubuntu sono intenzionalmente mantenute minime per semplificare le cose. Tuttavia, se li trovi carenti o se ami personalizzare e tema il dock, puoi usare i metodi spiegati sopra per modificare le impostazioni. In caso di rottura, è possibile utilizzare il comando di ripristino per ripristinare il dock Ubuntu alle sue impostazioni originali.