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.
Die Erweiterungen der GNOME-Shell besitzen eine UUID-Eigenschaft. Dieser Schlüssel listet Erweiterungen auf, welche deaktiviert werden sollten, selbst wenn sie als Teil des aktuellen Modus geladen sind. Sie können diese Liste auch mit den D-Bus-Methoden EnableExtension und DisableExtension in org.gnome.Shell bearbeiten. Dieser Schlüssel hat Vorrang vor der Einstellung »enabled-extensions«.
None