Disponibile da poche ore la versione alpha del portale extensions.gnome.org che permette di aggiungere/rimuovere le estensioni di Gnome Shell in pochi clic e direttamente dal browser (al momento solo tramite Firefox).
Mi sembra una cosa molto positiva, fino ad ora infatti bisognava procurarsi le estensioni attingendo dal sito degli sviluppatori da live.gnome.org o da blog specifici.
Il sito permette di tenere traccia anche delle estensioni eventualmente già installate con Gnome TweakTool permettendone attivazione e disattivazione.
Purtroppo al momento la mia Debian Wheezy (testing) è dotata ancora di Gnome 3.0.2 e non mi permette di testare la cosa…
I think the admin of this web site is genuinely working hard in favor of his
website, as here every information is quality based information.