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

27

Digamos que he instalado sucesivamente mi conjunto de extensiones gnome-shell. Pero quiero desactivar / desactivar desde la línea de comandos. Esto solo es posible mediante la acción del mouse, AFAIK.

Cómo puedo hacer eso ?

command-line gnome gnome-shell-extension taharqa
fuente

Respuestas:

36

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

Puede hacerlo con la clave GSettings, org.gnome.shell.enabled-extensions, o varias herramientas que manipulan esta clave GSettings, como GNOME Tweak Tool o una versión reciente de gnome-shell-extension-tool.

Si invoca gnome-shell-extension-tool --help, verá 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. Le dará entradas del formulario the-name@author.

Mx
fuente
2
No funciona si la extensión no se ha instalado. Solo cambia la configuración en dconf.
wayofthefuture
1
En versiones más recientes (estoy en 19.10), gnome-shell-extension-toolha sido reemplazado por el más poderoso gnome-extensions. Esto permite consultas útiles contra el entorno en ejecución, por ejemplo: gnome-extensions listpara obtener una lista de extensiones instaladas y gnome-extensions info $extension, donde $extensionse puede obtener de la lista
sxc731