Nach dem Upgrade auf 18.10 ist das Verhalten von Gnome-Erweiterungen sehr merkwürdig. Nachdem mein Laptop in den Ruhezustand versetzt wurde, schalten sich alle aus und das erneute Aktivieren unter https://extensions.gnome.org/local/ hilft nicht: Es ändert sich nichts und wenn ich die Seite aktualisiere, werden sie wieder deaktiviert.
Die einzige Möglichkeit, sie wieder einzuschalten, besteht darin, sie neu zu installieren.
quelle
gnome-shell
Paket auf launchpad.net zu melden.ALT+F2 r
die Erweiterungen nicht neu gestartet. Ich muss GNOME-Optimierungen aufrufen und sie von dort aus wieder aktivieren. War vor dem 18.10-Upgrade kein Problem (dh es hat am 18.04 gut funktioniert). Das Besondere ist, dass sich die Ubuntu-Dock-Erweiterung anscheinend wieder selbst aktiviert.Alt+F2
dannr
löste mein Problem.