Administrador de extensiones de GNOME: administre sus extensiones de GNOME fácilmente

En el entorno de escritorio GNOME, el uso de extensiones es útil, o debería decir incluso necesario. Pero si necesita administrar todas las extensiones, deben estar en un solo lugar en primer lugar. Extensiones de GNOME es una pequeña herramienta ordenada disponible en el repositorio de cada distribución, que se puede usar para administrar configuraciones adicionales para cualquier extensión de shell de GNOME. Sin embargo, la aplicación es muy limitada cuando se buscan funciones.

Todavía tiene que ir a un sitio web para agregar una nueva extensión. Esta limitación puede ser molesta para algunas personas, ya que no querrás abrir un sitio web cada vez que quieras probar nuevas configuraciones en tu escritorio. Sin embargo, existe una aplicación que puede permitirle administrar e instalar una nueva extensión al mismo tiempo sin necesidad de abrir un navegador web. En este artículo, echaremos un vistazo a la aplicación ‘Extension Manager’.

Tabla de contenido

administrador de extensiones

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

Pestaña Examinar del Administrador de extensiones

Como puedes ver en la captura de pantalla, la aplicación detecta automáticamente tu versión de Shell y te ofrece las mejores extensiones (ordenadas por popularidad).

También puede usar el cuadro de búsqueda para buscar una extensión en particular escribiendo la palabra clave adecuada. Haga clic en cualquiera de los resultados de búsqueda para obtener la descripción de esa extensión, y aquí también encontrará el botón de instalación.

los Instalado La pestaña le muestra, bueno, las extensiones instaladas en su sistema, incluidas las extensiones que vienen preinstaladas en su distribución. Es esencialmente la misma aplicación que la extensión de GNOME, pero con una pestaña Explorar junto con una función de búsqueda y, por lo tanto, elimina el uso del sitio web de extensiones de GNOME (y un navegador).

Si bien la aplicación aún carece de funciones como capturas de pantalla, no puede reordenar los resultados de la búsqueda en función de diferentes métricas, como la popularidad, etc. La aplicación definitivamente vale la pena si juega con su escritorio con regularidad y si sabe el nombre de la aplicación. extensión.

Instalación

El proceso de instalación es realmente sencillo si usa una distribución de Linux basada en Debian o Ubuntu , simplemente abra una Terminal y escriba:

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

                    

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

                      
yay -S extension-manager

                    

Para cualquier otra distribución de Linux, puede instalar la aplicación utilizando el paquete Flatpak. Puedes seguir al oficial Documentación de GitHub para la instalación de Flatpak.

Resumen

Bueno, el caso de uso de esta aplicación también depende de ti, el usuario. Si no juega mucho en su sistema, entonces tal vez esté bien usando la aplicación oficial de extensiones de GNOME. Pero es refrescante que la comunidad presente estas herramientas a pesar de que los desarrolladores bloquearon todo el entorno GNOME.

Related Posts