[ubuntu-it] globalmenu in Gnome-Shell

[supernova]

Buongiorno a tutti, e in particolare agli utenti di Gnome-Shell. Trovo
questo DE fantastico, ma penso che modificandolo con il globalmenu
sarebbe ancora meglio. Sapete come è possibile installare questa
estensione? Uso una Ubuntu Remix con Gnome-shell, scaricata da qui
http://ubuntu-gs-remix.sourceforge.net/p/home/
Ho trovato qualche istruzione, ma dovrei aggiungere ulteriori repo
ppa, e non vorrei generare conflitti che mi costringessero a
reinstallare...
Grazie,
Supernova