Le 5 migliori estensioni della shell di Gnome

L'annuncio di Ubuntu ha già indotto molti utenti a iniziare a utilizzare Gnom-Shell come desktop predefinito. Questo è un problema per gli utenti inesperti che hanno iniziato con Unity e non hanno visto un altro desktop.

Più problematico è per coloro che provengono da distribuzioni di luce o ambienti luminosi come Xfce o MATE. Per aiutare tutti questi utenti abbiamo compilato le 5 migliori estensioni che possiamo installare e utilizzare in Gnome.

Dash to Panel

Sicuramente a molti di voi (includo me stesso nella lista) non piace quel Dash che ha Gnome Shell. È L'estensione cambia il Dash e trasforma tutto in un semplice pannello, come altri desktop, come Cinnamon o KDE. Questa estensione è piuttosto interessante se non ti piace l'estetica di Gnome.

Gnomo Pomodoro

Questa estensione è un vero riflesso del suo nome. È un'estensione che ci aiuta ad applicare le tecniche del Pomodoro sul nostro computer. In questo caso, dopo averlo installato, compare un'applet con il sistema e il controllo del periodo Pomodoro. È utile per chi cerca la produttività sul desktop.

Pulsante Non disturbare

Sempre più notifiche che riceviamo sul nostro computer, non solo per il collegamento di una USB ma anche quando riceviamo e-mail, allarmi di calendario, chat, ecc ... Questa semplice estensione disattiva tutte quelle notifiche in modo da poter lavorare senza distrazioni interessante, vero?

TopIcons Plus

Questa estensione ci consente modificare la posizione delle icone del desktop, non solo le icone tradizionali ma anche le icone delle applet. Un'estensione molto interessante per chi vuole personalizzare un po 'di più il proprio Gnome Shell.

Indicatore di appunti

Questa estensione è una semplice applet che ci mostrerà tutti i file, il testo e le immagini che abbiamo memorizzato negli appunti, documenti che possiamo riutilizzare durante la sessione e che possiamo rilasciare anche grazie a questa applet. Sicuramente un'estensione piuttosto interessante, non credi?

Conclusione

Queste estensioni possono essere trovate nella directory delle estensioni di Gnome Shell. Una directory gratuita che si connette al desktop, quindi non ci sono problemi con l'installazione di nessuna di queste estensioni. In ogni caso la directory è piena di estensioni gratuite, estensioni che possono essere più utili di quelle citate, anche se quelle che abbiamo raccolto sono piuttosto importanti per gli utenti che provengono da altri desktop.