Instalar extensiones Gnome-shell desde el navegador
El sitio oficial de Gnome ya tiene disponible un gestor de extensiones para Gnome3, en el sitio puedes instalar las extensiones gnome-shell desde el navegador con un simple clic; es decir, sin tener que agregar repositorios de terceros, ni las historias habituales.
Es fácil, sencillo y rápido. Nada más tenemos que ir a la página, claro está que usando nuestro entorno Gnome, elegir la o las que queramos y activarlas. Y si te registras podrás ver en línea las extensiones que tengas instaladas y las podrás administrar activándolas, desactivándolas o eliminándolas.
Aunque el proyecto se encuentra aún en fase Beta (mayo 2012), a mí me ha funcionado en su totalidad, y de hecho me ha parecido un adelanto más de este fantástico gestor de escritorio que tenemos con gnome shell.
Pasos a seguir para usarlo:
- Visitar la página de extensiones gnome-shell: https://extensions.gnome.org
- Elegir la extensión que queramos instalar.
- Activarla. Sólo tendremos que darle al ON-OFF, si es la primera vez que la usas te pedirá que confirmes la instalación y listo.
