Saltar al contenido

Cómo activar/desactivar una extensión de gnome-shell desde la línea de comandos

Este equipo redactor ha pasado horas investigando para darle solución a tus búsquedas, te dejamos la respuesta de modo que nuestro objetivo es que resulte de gran apoyo.

Solución:

Está bien descrito en el wiki de Gnome, citando:

Puedes hacer esto con GSettings keyorg.gnome.shell.enabled-extensions, o varias herramientas que manipulan este GSettings keycomo GNOME Tweak Tool o una versión reciente de gnome-shell-extension-tool.

si invocas gnome-shell-extension-tool --help, verás que es capaz de habilitar y deshabilitar extensiones por su nombre. Por ejemplo, el siguiente comando habilita los temas de usuario:

gnome-shell-extension-tool -e user-theme

Ah, y puede obtener los nombres de todas sus extensiones instaladas localmente haciendo ls ~/.local/share/gnome-shell/extensions. Te dará entradas del formulario. [email protected].

Puede ver una lista de extensiones instaladas con el siguiente comando

gnome-extensions list

De la lista puede habilitar/deshabilitar cualquier extensión como esta:

gnome-extensions enable [email protected]
gnome-extensions disable [email protected]

Observe que se necesita el nombre completo de la extensión.

¡Haz clic para puntuar esta entrada!
(Votos: 0 Promedio: 0)



Utiliza Nuestro Buscador

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *