[Desktop-packages] [Bug 1812373] Re: Lock screen stopped working

2019-01-18 Thread Reuben Thomas
In case it was a kernel problem (I have also had a kernel update since I last rebooted, from 4.15.0-42 to -43), I installed the latest HWE 18.04 kernel, but that did not help. I should note that in fact the screen shield *does* sometimes activate; but when it does, pressing a key reveals only the

[Desktop-packages] [Bug 1812373] Re: Lock screen stopped working

2019-01-18 Thread Reuben Thomas
I tried building 3.28.3-0ubuntu0.18.04.3 and installing that, but that doesn't fix the problem, so it looks as though the cause may lie elsewhere, in some other update that has happened in the same period. -- You received this bug notification because you are a member of Desktop Packages, which

[Desktop-packages] [Bug 1812373] Re: Lock screen stopped working

2019-01-18 Thread Reuben Thomas
(The issue doesn't seem to me to be serious enough to warrant keeping the bug private.) ** Information type changed from Private Security to Public -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu.