Ich habe alle Gnome-Erweiterungen mit dem Gnome Tweak Tool deaktiviert, indem ich auf den Schalter geklickt habe, der über der Liste aller Erweiterungen angezeigt wird, um sie alle mit einem Klick zu deaktivieren. Jetzt ist alles deaktiviert und der Schalter oben ist ebenfalls verschwunden. Ich habe einen Neustart versucht, aber das Tweak Tool erlaubt es immer noch nicht, Erweiterungen wieder zu aktivieren:
Ich habe es auch versucht mithttps://extensions.gnome.org/local/aber selbst das manuelle erneute Aktivieren (durch Klicken auf den Ein-/Ausschalter) funktioniert. Der Schalter zeigt „Ein“, aber die Erweiterung ist nicht wirklich aktiviert. Beim Neuladen der Seite werden alle deaktiviert.
Antwort1
...ok, ich habe herausgefunden, wie man es löst.
dconf-editor
/org/gnome/shell/disable-user-extensions <- false
Es sieht so aus, als ob dieses Tweak-Tool einen Fehler hat ...