[Bug 1813511] Re: Gnome shell extensions disabled at every wakeup after sleep

2019-02-09 Thread Div
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

[Bug 1813511] Re: Gnome shell extensions disabled at every wakeup after sleep

2019-01-30 Thread Div
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

[Bug 1813511] ProcEnviron.txt

2019-01-29 Thread Div
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

[Bug 1813511] Re: Gnome shell extensions disabled at every wakeup after sleep

2019-01-29 Thread Div
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

[Bug 1813511] GsettingsChanges.txt

2019-01-29 Thread Div
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://

[Bug 1813511] ProcCpuinfoMinimal.txt

2019-01-29 Thread Div
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

[Bug 1813511] [NEW] Gnome shell extensions disabled at every wakeup after sleep

2019-01-27 Thread Div
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 --