web analytics

MGSE (Mint Gnome Shell Extensions) su Ubuntu 12.04

MGSE 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.

Gnome Tweak Tool - MGSE

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.