Recent Posts

Windows 1809 and grub

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...

Wallpaper personalization, an update

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

lightdm-gtk-greeter lost shutdown/reset button

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...