MGSE (Mint Gnome Shell Extensions) su Ubuntu 12.04
Presentato con Linux Mint 12 Lisa, MGSE è una collezione di estensioni per Gnome Shell realizzate per migliorate l’esperienza utente nel nuovo desktop environment di Gnome.
In Mint Gnome Shell Extensions troviamo un menu a tendina rivisitato che ci permette di ricercare velocemente applicazioni dalla barra di ricerca o dall’elenco suddiviso in categorie (oltre alla gestione delle applicazioni preferite).
MGSE aggiunge anche un pannello inferiore con il quale avremo i collegamenti delle finestre attive ed il gestore degli spazi di lavoro (basta un click con il tasto destro del mouse su di esso per aggiungere o rimuovere spazi di lavoro).
Tutte e tre le estensioni possono essere attivate anche separatamente; per esempio possiamo avere solo il menu.
Installare MGSE su Ubuntu 12.04 è molto semplice, basta digitare da terminale:
sudo add-apt-repository ppa:yunnxx/gnome3
sudo apt-get update
sudo apt-get install mgse-bottompanel mgse-menu gnome-shell-extensions-windowlist
E confermiamo.
Non ci resta che avviare Gnome Tweak Tool ed attivare le nuove estensioni.
Per installare MGSE su Ubuntu 11.10 basta consultare questo articolo.