• Tiempo de lectura:3 minutos de lectura
  • Categoría de la entrada:Sistemas Operativos / Software

En el entorno de escritorio GNOME, el uso de las extensiones es muy útil e incluso podríamos decir que es algo necesario.

Si necesitas administrar todas las extensiones, lo mejor es poder tener un solo lugar desde el que gestionarlas.

Extensiones de GNOME (extension manager) es una pequeña herramienta ordenada en el repositorio de cada distribución, que se puede usar para administrar configuraciones adicionales para cualquier extensión de shell de GNOME.

Con extension manager vas a poder permitirte administrar e instalar una nueva extensión al mismo tiempo sin necesidad de abrir el navegador web cada vez.

En este artículo, echaremos un vistazo a la aplicación Extension Manager.

Extension Manager

Extension Manager ofrece dos pestañas, una para administrar las extensiones instaladas y la otra para explorar otras extensiones que podrías estar interesado en instalar.

La aplicación detecta automáticamente tu versión de Shell y te ofrece las mejores extensiones (ordenadas por mayor popularidad).

Además, puedes usar el cuadro de búsqueda para buscar una extensión en particular escribiendo una palabra clave.

Haz clic en cualquiera de los resultados de búsqueda para obtener la descripción de una extensión y simplemente usa el botón de instalación, si te interesa tenerla.

La pestaña Instalado te muestra las extensiones instaladas en tu sistema, incluidas las extensiones que vienen preinstaladas con tu distribución.

Es esencialmente la misma aplicación que la extensión de GNOME, pero con una pestaña de explorar junto con una función de búsqueda para evitarte tener que acceder al navegador en cada instalación.

Si bien la aplicación aún carece de funciones como capturas de pantalla, o no poder reordenar los resultados de la búsqueda; merece la pena su uso, si juegas a menudo a modificar tu escritorio regularmente.

Instalación de extension manager

El proceso de instalación es realmente sencillo si usas una distribución de Linux basada en Debian o Ubuntu, simplemente abre una Terminal y escribe:

sudo apt update && sudo apt install gnome-shell-extension-manager

En Arch Linux y las distribuciones basadas en Arch, puedes usar la versión AUR con la ayuda de un asistente de AUR. Abre una Terminal y escribe:

yay -S extension-manager

Para cualquier otra distribución de Linux, puedes instalar la aplicación utilizando el paquete Flatpak.

 $ sudo apt install flatpak
 $ flatpak install flathub com.mattjakeman.ExtensionManager

Conclusión final

Bueno, el caso de uso de esta aplicación también depende del usuario.

Si no juegas mucho con el sistema, entonces tal vez estés bien usando la aplicación oficial de extensiones de GNOME.

Pero es una opción extra para la comunidad el facilitar la instalación más directa de las extensiones del entorno de Gnome.