On Thu, Jun 25, 2020 at 09:41:41PM +0200, Why 42? The lists account. wrote: > > A quick search on the net didn't show much, apart from a suggestion that > a USB keyboard won't work at this point because the USB subsystem hasn't > yet been discovered (that was back in 2015 though). I'm using both a USB > keyboard and mouse.
That is correct. Just to make sure everybody knows this. It is not related to your problem. Stuart's suggestion solves that problem. I have put that (for a different problem) into my /etc/rc.shutdown. Which survives moving to a newer snapshot or release. Chris