¿Sabías que GNOME Shell oculta una aplicación de configuración de Extensiones de GNOME realmente útil?
gnome-shell-extension-prefs La utilidad le permite configurar y modificar las preferencias de sus extensiones de GNOME favoritas sin necesita ir a la página "Extensiones instaladas" del sitio web oficial de extensiones de GNOME en un navegador web compatible.
Al cubrir la actualización reciente de Dash to Dock, aprendimos que no todos sabían que las preferencias de extensión de GNOME se podían modificar localmente. La herramienta es perfecta para cualquiera que se aburra de abrir un navegador cada vez que quiera activar o desactivar una extensión, o simplemente ajustar sus preferencias.
Ahora, cuando digo que la aplicación está oculta, quiero decir que no es fácil de encontrar. No encontrará un ícono de aplicación para él en la Descripción general de actividades, ni una entrada de menú para él en algo como la extensión del Menú de la aplicación. ¡Sin saber que existe, probablemente nunca lo encontrarías!
Para iniciar la herramienta de configuración, abra una nueva ventana de terminal (o presione Alt + F2) y ejecute:
gnome-shell-extension-prefs
Para acceder a él más fácilmente en el futuro, puede usar su aplicación de edición de menús favorita para crear una entrada personalizada para ella.
Pero, si eres perezoso como yo, solo inicia la utilidad desde la línea de comando y luego "fijala" a tus favoritos en la aplicación Dash to Dock:
Un consejo pequeño pero útil para los entusiastas de la extensión de GNOME Shell.