Posted on 12/20/2018 07:03PM
I have a double boot Windows 10/Linux Debian and updating Windows to the october 2018 update (1809) made grub unable to start itself at the 3rd reboot (I think) of the update. It went straight to grub rescue with unknown filesystem type. To solve this problem, you have to manually direct grub...
Posted on 09/12/2018 10:39AM
As a bit of an update regarding the [[Wallpaper personalization]] topic, a recent Windows update made the mentioned command unavailable. So now, to do the same, issue the following command: explorer.exe shell:::{ED834ED6-4B5A-4bfe-8F11-A626DCB6A921} -Microsoft.Personalization\pageWallpaper
Posted on 12/27/2017 10:33AM
It looks like in a recent update, lightdm (with the gtk interface, at least) lost some buttons for rebooting or shutting down the computer. Which is somewhat cumbersome, as one has to Ctrl-Alt-F1 his way to a console to actually do the shutdown manually. This is described e.g. in the following bug...