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…