Publications dans la catégorie blog
Mis à jour plus ou moins fréquemment, quelques réflexions sur la vie, l'univers et le reste.
Publié le 2018-12-20 19:03
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...
Publié le 2018-09-12 10:39
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
Publié le 2017-12-27 10:33
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...