La versión 0.7 de Extension Manager ha sido lanzada al público. Esta aplicación de escritorio facilita la navegación, instalación y gestión de extensiones para GNOME Shell sin necesidad de utilizar un navegador web.
El nuevo lanzamiento incluye varias mejoras bienvenidas y restaura funcionalidades que dejaron de funcionar en versiones anteriores. Un cambio destacado es la integración de un proveedor de búsqueda de GNOME, lo que permite abrir preferencias de extensiones instaladas directamente desde el menú de actividades.
Para activar esta función, los usuarios deben ir a Configuración > Búsqueda tras instalar la versión actual. Además, las páginas de detalle de cada extensión ahora muestran información más completa sobre su funcionamiento y estado.
Esta herramienta es útil para administradores de sistemas y usuarios avanzados que buscan gestionar el entorno de escritorio GNOME de manera más eficiente sin depender de interfaces web externas.
Fuente: OMG! Ubuntu