Ubuntu 18.10 Gnome-Erweiterungen funktionieren nach dem Ruhezustand nicht mehr
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...