Le migliori estensioni della shell gnome per Ubuntu

Se sei un utente Ubuntu, ti piacerà questo post che ci siamo preparati a presentarti le cinque migliori estensioni della shell GNOME per il sistema operativo Canonical con cui puoi assicurarti che il sistema si adatti meglio ai tuoi gusti e preferenze e possibilmente una maggiore produttività.

Le 5 migliori estensioni della shell GNOME per il tuo Ubuntu

Dash to Dock

Innanzitutto abbiamo l'estensione Dash to Dock che ti permetterà di posizionare GNOME Dash come dock desktop anziché la caratteristica barra laterale della shell GNOME. Con il nuovo dock sarai in grado di aggiungere lanciatori di applicazioni, riordinarli, usarli per ridurre al minimo le applicazioni e passare da quelli che hai aperto. Come ogni buon dock, puoi personalizzarlo in dimensioni e temi diversi.

Dash to Dock su GNOME Extensions

TopIcons Plus

Un'estensione che risolverà il problema delle applicazioni meno recenti con icone che richiedono la barra delle applicazioni, che tendono a essere nascoste nell'angolo in basso a sinistra di GNOME Shell. Un effetto spiacevole che complica l'uso di alcune applicazioni come Skype, Franz, Telegram e Dropbox basate su icone nella barra delle applicazioni.

TopIcons Plus su GNOME Extensions

caffeina

Un'estensione che è responsabile per mantenere sveglio il tuo computer, molto utile se vuoi impedire che il salvaschermo e la sospensione automatica vengano visualizzati sul tuo laptop. Supporta GNOME Shell 3.4 o versioni successive.

Caffeina su GNOME Extensions

Terminale a discesa

Anche il comodo terminale di comando Linux merita un'estensione. Drop Down Terminal ti servirà per accedere al terminale premendo un paio di tasti sulla tastiera.

Terminale a discesa sulle estensioni GNOME

Scorrimento dell'area di lavoro del pannello superiore

Se sei un utente che sfrutta molteplici ambienti di lavoro, questa estensione ti consentirà di passare da uno all'altro molto rapidamente con un semplice scorrimento nel pannello superiore.

Fonte: omgubuntu