Extension Manager, busca e instala Extensiones de GNOME Shell sin usar el navegador web.
Extension Manager llegó para simplificarnos la vida al momento de administrar nuestras Extensiones de GNOME Shell. Esta aplicación te permite buscar, instalar, editar, eliminar Extensiones directamente de tu escritorio, sin necesidad de utilizar el navegador web.
Si bien GNOME ya tiene su propia aplicación de extensiones tienes que buscar e instalar las extensiones desde tu navegador y solo administrarás las opciones desde la APP de Extensiones de Gnome
¿QUÉ ES EXTENSION MANAGER?
Extension Manager es una aplicación de escritorio intuitiva y un todo en uno, podrás buscar, instalar y administrar todas las extensiones de Gnome que posees o deseas instalar.
Su funcionamiento es extremadamente sencillo e intuitivo, apenas lo abrimos nos muestra las Extensiones que poseemos instaladas, con la posibilidad de editar alguna que otra configuración de las mismas, haciendo click en los engranajes
También posee un buscador que nos permitirá explorar las extensiones que deseas instalar, mostrándote automáticamente las que son compatibles con tu versión de GNOME, sin necesidad de editar manualmente.
¿CÓMO SE INSTALA?
- Flatpak
flatpak install flathub com.mattjakeman.ExtensionManager- Debian, Ubuntu, Mint y derivados
sudo apt install gnome-shell-extension-manager¿COMO ELIMINAR EXTENSION MANAGER?
- Flatpak
flatpak uninstall com.mattjakeman.ExtensionManager- Debian, Ubuntu, Mint y derivados
sudo apt remove gnome-shell-extension-managerQue te pareció Extension Manager? ya lo conocías? le darías una oportunidad o prefieres seguir con el Extensiones clásico y la instalación desde tu navegador web?
Si deseas más información al respecto, puedes ingresar a la página de GitHub del proyecto
