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

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 ?

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.