GNOME Shell extensions have a UUID property; this key lists extensions which should be disabled, even if loaded as part of the current mode. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell. This key takes precedence over the “enabled-extensions” setting.
Las extensiones de GNOME Shell tienen una propiedad UUID; esta clave lista las extensiones que se deben desactivar incluso si están cargadas como parte del modo actual. También puede manipular esta lista con los métodos de DBus «EnableExtension» y «DisableExtension» en org.gnome.Shell. Esta clave prevalece sobre la opción “enabled-extensions”.