Página para descargar las extensiones de Gnome-Shell

Como ya nos dimos cuenta el otro día (ya que dio un error de dependencias) Gnome había mudado sus extensiones a una página, a modo de las extensiones para el Google Chrome. Con esto quiero decir a que todas las extensiones y su instalación quedan relegadas al navegador web, por lo que no haría falta la instalación de ningún programa externo.




La página es: https://extensions.gnome.org/. La interfaz que nos encontramos es la siguiente:

Como podéis observar, nos aparece una lista con todas las extensiones disponibles para Gnome-Shell las cuales podemos ordenar por nombre (tal y como está por defecto), por relevancia, por ser las últimas añadidas, etc.. Eso sí, se echa en falta un buen buscador. Las extensiones que aparecen en gris oscuro significa que no están disponibles para nuestras versión de Gnome, y por eso, no se pueden instalar. Una vez elegida la extensión, doble clic y se nos abrirá la página correspondiente a esa extensión, con una explicación y algunas veces, una imagen o imágenes que ilustren lo que hace. En este caso, he elegido la extensión que permite quitar el icono de accesibilidad del panel superior de Gnome (el que aparece al lado del icono del gestor de volumen).

Como podéis observar en la imagen, en la parte izquierda aparece un interruptor que pone off. Si pulsamos sobre él, pasará a on y nos saldrá un mensaje preguntándonos si queremos instalar la extensión a lo que obviamente diremos que sí (a instalar).

Una vez instalada, el efecto es inmediato. En el caso de que no lo fuera, Alt+f2 y poned en el recuadro "r" (sin las comillas) De esta forma se reinicia gnome-shell y todo su interfaz.

Ya no aparece el muñequito de accesibilidad

En el momento que queramos eliminar la extensión y revertir el proceso o ver qué extensiones tenemos ya instaladas, desde la misma página en la pestaña que pone "Installed extensions" podemos controlarlas. 

Ni que decir que todas las extensiones instaladas mediante esta forma (vía navegador web) son perfectamente visibles desde el programa Gnome-Tweak-Tools, por lo que pueden ser desactivadas desde dicho programa también.

Espero que os haya servido para entender como se hace ahora todo lo relacionado con las extensiones. Al igual que ocurrió con Chrome, esperemos que el número vaya aumentando, ya que permite también a la gente enviar sus propias extensiones.

Un saludo!! ^^