I also have not encountered the bug in the last 10 days. Seems it has
been fixed.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1813511
Title:
Gnome shell extensions disabled
Reply to #7:
I thought the bug has been patched with the last update since I didn't
encounter it yesterday. However, it reappeared today.
PID (while functioning normally): 3012 2655
I had rebooted after this and didn't check the PID. The bug reappeared today
and report PID: 2856 2503
Alt+F2 -> r
apport information
** Attachment added: "ProcEnviron.txt"
https://bugs.launchpad.net/bugs/1813511/+attachment/5233947/+files/ProcEnviron.txt
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launc
apport information
** Tags added: apport-collected
** Description changed:
Ubuntu 18.04, all gnome extensions get turned off after waking up from sleep
Noticed since: past 1-2 week
Workaround: Alt+F2 followed by 'r' - Turns on the extensions which I had on
earlier
+ ---
+ ProblemType: Bu
apport information
** Attachment added: "GsettingsChanges.txt"
https://bugs.launchpad.net/bugs/1813511/+attachment/5233945/+files/GsettingsChanges.txt
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://
apport information
** Attachment added: "ProcCpuinfoMinimal.txt"
https://bugs.launchpad.net/bugs/1813511/+attachment/5233946/+files/ProcCpuinfoMinimal.txt
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
http
Public bug reported:
Ubuntu 18.04, all gnome extensions get turned off after waking up from sleep
Noticed since: past 1-2 week
Workaround: Alt+F2 followed by 'r' - Turns on the extensions which I had on
earlier
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
--