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.