Con il nuovo Gnome 3 tra le molte novità presenti troviamo il Dock sul lato sinistro con il quale possiamo integrare nel nostre applicazioni preferite ed inoltre ci visualizza le applicazioni avviate. Unica cosa che per molti utenti non piace è che il Dock non è visibile di default dobbiamo sempre colpire l’angolo superiore sinistro per poi scendere nel dock per poter avviare un’applicazione. In alternativa possiamo cliccare sul tasto Super o Windows ma anche questa soluzione non è molto comoda.
Grazie ad una semplice estensione per Gnome Shell possiamo integrare il Dock nel nostro pannello cosi da poter operare direttamente dal nostro Desktop.

Dock Panel è un’estensione per Gnome 3 la quale ci permette di avere il Dock di Gnome Shell integrato nel nostro pannello. Una volta installato troveremo nel lato sinistro del nostro pannello (vicino al tasto Attività) le nostre applicazioni preferite e quelle avviate, potremo quindi avviare direttamente senza utilizzare il Dock laterale.

Per installare Dock Panel basta semplicemente avviare il terminale e digitare:

cd

git clone https://github.com/smartboyathome/Gnome-Shell.git
cd Gnome-Shell/
cp -r Panel_Dock@smartboyathome.gmail.com/  ~/.local/share/gnome-shell/extensions/

A questo punto riavviamo Gnome Shell, premiamo ALT+F2 e diamo il comando r

al riavvio avremo Dock Panel nel nostro pannello di Gnome Shell

Per rimuoverlo e ritornare come da default basta avviare il terminale e digitare

rm -r ~/.local/share/gnome-shell/extensions/Panel_Dock@smartboyathome.gmail.com

e riavviamo dando ALT+F2 e diamo il comando r

in caso di problemi non esitate a segnalarceli commentando questo articolo

Home Dock Panel

No more articles