Facile transizione da Dash a Dock in Ubuntu 22.04

Ubuntu, una parola africana che significa “umanità verso gli altri”, è davvero all’altezza del suo nome quando si tratta di esperienza dell’utente. Avendo utilizzato vari sistemi operativi, Ubuntu ha sempre avuto un posto speciale nel mio cuore per la sua semplicità, versatilità e robustezza. Sebbene Ubuntu offra un’esperienza meravigliosa fin dal primo utilizzo, c’è sempre spazio per personalizzare e migliorare le sue funzionalità secondo i propri gusti.

Visualizzazione di Dash su Ubuntu 22.04

Una di queste personalizzazioni che ha attirato la mia attenzione è la conversione dell’Ubuntu Dash predefinito in un Dock più tradizionale. In questo post del blog, viaggeremo insieme per trasformare il Dash di Ubuntu 22.04 in un Dock. Immergiamoci!

Comprendere Ubuntu Dash

Prima di intraprendere la nostra avventura di personalizzazione, familiarizziamo con Ubuntu Dash. Ubuntu Dash è il launcher di applicazioni predefinito in Ubuntu, che appare sul lato sinistro dello schermo. Puoi utilizzare Dash per cercare applicazioni, accedere alle app utilizzate di frequente e gestire le aree di lavoro.

Ciò che personalmente mi piace del Dash:

• Ricerca integrata: Mi consente di trovare e avviare rapidamente le applicazioni senza frugare nei menu.
• Gestione degli spazi di lavoro: Faccio spesso più cose contemporaneamente e la capacità di Dash di gestire gli spazi di lavoro mi rende la vita molto più semplice.
• Anteprima dell’applicazione dal vivo: facendo clic su un’applicazione aperta nel Dash viene visualizzata un’anteprima in tempo reale. Questa funzionalità potrebbe sembrare discreta, ma quando mi destreggio tra più istanze della stessa applicazione, questa anteprima dal vivo è un vero toccasana.
• Opzioni dell’applicazione incorporata: facendo clic con il pulsante destro del mouse sulle icone nel Dash viene visualizzato un menu contestuale con azioni rapide pertinenti all’applicazione. Ad esempio, facendo clic con il pulsante destro del mouse sull’icona Terminale posso aprire una nuova finestra e, con i browser, posso aprire direttamente una nuova finestra privata.
• L’estetica: Anche se questo può essere soggettivo, adoro il design minimalista del Dash. Non è appariscente, ma è elegante e funzionale. Lo sfondo semitrasparente offusca il contenuto dietro, conferendogli un aspetto moderno che non sovrasta il resto dell’interfaccia.
• Design efficiente per un accesso rapido: Il Dash, essendo sul lato, si allinea verticalmente consentendo un elenco più lungo di app preferite senza dover scorrere. Questo layout verticale è spesso tornato utile quando passo da un’applicazione all’altra.

Quello che sento potrebbe essere migliore:

• Consumo di spazio: Il Dash, essendo sempre a sinistra, consuma spazio sullo schermo, soprattutto su schermi più piccoli.
• Mancanza di personalizzazione: Anche se funzionale, a volte vorrei che offrisse un po’ di più in termini di personalizzazione.

Perché convertire Dash in Dock?

Dock attivato su Ubuntu 22.04

Ora, ci si potrebbe chiedere, perché prendersi la briga di convertire il Dash in un Dock? La risposta sta nelle preferenze personali e nell’estetica. Un Dock fornisce un launcher di applicazioni orizzontale più tradizionale, spesso presente nella parte inferiore dello schermo. Questo layout è più familiare a molti utenti, soprattutto a quelli che migrano da altri sistemi operativi.

Vantaggi dell’utilizzo di un dock:

• Ottimizzazione dello spazio: Con il Dock in basso, trovo che lo spazio verticale dello schermo venga utilizzato in modo più ottimale.
• Familiarità: Se hai utilizzato altri sistemi operativi come macOS, il Dock si sente come a casa.
• Maggiore personalizzazione: Il Dock offre tantissime opzioni di personalizzazione per renderlo davvero tuo.

Conversione di Dash in Dock

Ora passiamo alla parte divertente! Ecco una guida passo passo per trasformare il tuo Dash in un Dock su Ubuntu 22.04. A partire da GNOME 42, incluso in Ubuntu 22.04, la modalità Dock è integrata in Ubuntu come opzione facile da attivare, ma se desideri un maggiore controllo sulle funzionalità della modalità Dock, suggerisco il Metodo 2 che prevede l’installazione di GNOME “Dock to Dash” estensione.

Metodo 1: attivazione della modalità Ubuntu Dock nelle impostazioni dell’aspetto

In Ubuntu 22.04, “Ubuntu Dock” è una versione modificata dell’estensione GNOME Shell “Dash to Dock” (che è ciò di cui parlerò nel Metodo 2 di seguito) ottimizzata per Ubuntu. Fornisce agli utenti il ​​familiare dock (o launcher) sul lato sinistro.

Per abilitare Ubuntu Dock o cambiare la sua modalità tramite le Impostazioni aspetto, segui questi passaggi:

Apri Impostazioni: Fai clic sul menu di sistema nell’angolo in alto a destra dello schermo (è quello con gli indicatori di batteria, rete e audio). Quindi fare clic su “Impostazioni” (o talvolta rappresentato come un’icona a forma di ingranaggio) per aprire le Impostazioni di sistema.

Passare ad Aspetto: Nella barra laterale della finestra Impostazioni, fai clic su “Aspetto”.

Regola le impostazioni del dock: Nelle impostazioni Aspetto troverai una sezione dedicata al “Dock”.

Qui si può:

• Attiva o disattiva la visibilità del dock.
• Posiziona il dock a sinistra, in basso o a destra dello schermo.
• Regola la dimensione delle icone delle applicazioni nel dock.
• Abilita o disabilita la funzionalità di nascondimento automatico.

Regolando queste impostazioni, puoi essenzialmente abilitare la modalità “Ubuntu Dock”, facendolo comportare più come un dock tradizionale o personalizzandolo secondo le tue preferenze.

Ricorda che queste impostazioni potrebbero variare leggermente in base alla versione di Ubuntu o ad eventuali personalizzazioni aggiunte dopo una nuova installazione. I passaggi precedenti si basano su una tipica configurazione di Ubuntu con GNOME come ambiente desktop predefinito.

Metodo 2: utilizzo dell’estensione Dock to Dash GNOME Shell

Essendo un’estensione autonoma, Dash to Dock offre ampie opzioni di personalizzazione rispetto al Metodo 1. Dalla modifica dell’aspetto e del comportamento del dock alla regolazione della posizione, delle dimensioni e delle animazioni, offre molta più flessibilità. Se sei un utente che ama modificare ogni aspetto del tuo desktop, Dash to Dock potrebbe essere più interessante.

1. Preparazione del sistema

Prima di poter installare eventuali estensioni, dobbiamo assicurarci che il nostro sistema sia pronto. Ciò significa aggiornare il nostro elenco di pacchetti e installare le estensioni della shell GNOME.

Cosa sono le estensioni della shell GNOME?

Le estensioni della shell GNOME sono piccoli pezzi di codice scritti da sviluppatori di terze parti che migliorano ed estendono le capacità dell’ambiente desktop GNOME. Queste estensioni consentono agli utenti di aggiungere funzionalità personalizzate, modificare l’interfaccia utente e ottimizzare i propri flussi di lavoro. Dalla modifica dell’aspetto della barra delle applicazioni all’integrazione dei bollettini meteorologici o degli strumenti di monitoraggio del sistema direttamente sul desktop, le estensioni della shell GNOME forniscono agli utenti un modo modulare per personalizzare la propria esperienza informatica. Sono essenziali per coloro che desiderano personalizzare il proprio desktop GNOME per soddisfare al meglio le proprie preferenze ed esigenze.

Apri il tuo terminale (Ctrl + Alt + T) e digita:

sudo apt update
sudo apt install gnome-shell-extensions

2. Utilizzo del sito Web delle estensioni GNOME

Il sito web delle estensioni GNOME (https://extensions.gnome.org/) è un hub centrale in cui gli sviluppatori pubblicano le loro estensioni. Questo metodo è semplice:

• Passo 1: Installa l’integrazione GNOME Shell per il tuo browser web. Puoi trovare plug-in/estensioni specifici del browser per Firefox, Chrome e altri. Una volta installato, sarai in grado di interagire con il sito Web per installare direttamente le estensioni della shell GNOME.

Installazione dell’estensione del browser GNOME su Ubuntu

• Passo 2: Dopo aver configurato l’estensione del browser, accedere al sito Web delle estensioni GNOME. Cerca “Dash to Dock” (di michele_g) e quindi attiva il pulsante di scorrimento accanto ad esso.

Installazione di Dash to Dock su Ubuntu

Dovresti vedere immediatamente Dash scomparire e Dock attivato, ma suggerisco vivamente di riavviare il sistema affinché la nuova estensione si integri con GNOME e inizi a funzionare correttamente senza problemi.

Dock attivato su Ubuntu 22.04

Personalizzazione di Dash to Dock

Gestire le estensioni della shell GNOME installate è abbastanza semplice. Puoi utilizzare l’app Estensioni.

Applicazione Estensioni: Ubuntu 22.04 ha introdotto un’app “Estensioni” separata, semplificando la gestione delle estensioni. Cercalo semplicemente nel cassetto delle app e aprilo! Se utilizzi una versione di Ubuntu precedente (20.04 e successive), non preoccuparti, puoi comunque installare l’app Estensioni utilizzando il comando seguente.

sudo apt install gnome-shell-extension-prefs

Una volta installato, cerca “Estensioni” nel menu delle applicazioni di Ubuntu e avvialo. Ora puoi gestire facilmente le estensioni GNOME.

Gestire le estensioni su Ubuntu 22.04

Funzionalità di nascondimento automatico: nelle impostazioni Dash to Dock dell’immagine sopra, abilita l’opzione “Nascondi automaticamente intelligente”. Ciò fa scomparire il Dock quando si avvicina una finestra, fornendo più spazio sullo schermo.

Modalità di nascondimento automatico intelligente di Dash to Dock

Tema del bacino: integra il Dock con il tema del tuo sistema per un aspetto impeccabile. Puoi scegliere il tema nella scheda “Aspetto” nelle impostazioni.

Dimensioni dell’icona: regola la dimensione delle icone per una visualizzazione ottimale. Preferisco icone un po’ più grandi perché sono gradevoli alla vista e offrono un forte impatto visivo.

Preferiti dell’applicazione: fai clic con il pulsante destro del mouse su qualsiasi app nel menu Applicazioni e seleziona “Aggiungi ai preferiti” per aggiungerla. In questo modo, le tue app più utilizzate sono a portata di clic!

Rotolando indietro

Supponiamo che tu ti senta nostalgico e desideri tornare al Dash tradizionale. Nessun problema, puoi farlo facilmente!

1. Avvia l’app Estensioni
2. Disabilita Dash to Dock: attiva l’interruttore per disattivarlo. Verrà ripristinato il layout Dash originale. Puoi anche fare clic sul pulsante “Rimuovi” per disinstallare completamente l’estensione se prevedi di non utilizzarla più.

Disabilitare o rimuovere l’estensione GNOME Dash to Dock

Conclusione

Sia il Dash che il Dock offrono esperienze utente uniche e ognuno ha i propri meriti. Il Dash, con le sue funzionalità dinamiche e integrate, incarna davvero lo spirito di Ubuntu di offrire funzionalità efficienti pur mantenendo un design elegante. D’altra parte, il Dock offre familiarità e una diversa serie di opzioni di personalizzazione, soddisfacendo coloro che cercano un’interfaccia più tradizionale.

Come per tutto ciò che riguarda la tecnologia, la migliore configurazione è quella che risuona con te. Spero che questa guida si riveli utile per personalizzare la tua esperienza con Ubuntu.