Director de Extensión es una nueva aplicación no oficial para navegar e instalar extensiones de GNOME Shell desde el escritorio sin tener que usar un navegador web.
Además de poder buscar e instalar extensiones extensiones.gnome.orgla herramienta también puede activar o desactivar extensiones (y mostrar una lista de extensiones instaladas), acceder a la configuración de las extensiones y desinstalarlas.
La aplicación es todavía muy nueva y ha lanzado su primera versión (0.1.0) hace sólo unos días, por lo que todavía carece de características.
El gestor de extensiones no admite actualmente la actualización de extensiones o traducciones. Además, al buscar, sólo se muestran los 10 primeros resultados, y no hay forma de ordenar los resultados de la búsqueda (por ejemplo, por popularidad, frecuencia, etc., como en el sitio web de extensiones de GNOME). Las capturas de pantalla y los comentarios sobre las extensiones tampoco están disponibles actualmente.
Sin embargo, incluso con estas características que faltan, el gestor de extensiones resuelve el problema de tener que instalar una extensión y un conector del navegador y utilizar un navegador web compatible para instalar las extensiones del shell de GNOME. Por ejemplo, Chromium o Firefox instalados desde Flathub o la Snap Store no pueden usarse para instalar extensiones de GNOME Shell desde la web oficial, que yo sepa.
Cómo instalar el gestor de extensiones para GNOME Shell
Los usuarios de Arch Linux / Manjaro pueden instalar Extension Manager desde la siguiente página AUR.
[[Edit]]La herramienta ya está disponible en Flathubpara que pueda instalarse fácilmente en la mayoría de las distribuciones de Linux. Si aún no ha instalado Flatpak y añadido el repositorio Flathub, lea las instrucciones de esta página.
Antes había que instalar manualmente el paquete .flatpak desde la página de descargas de GitHub (y añadir el repositorio gnome-nightly flatpak) – estas instrucciones se han eliminado.