Recent Posts

Groupes découverts depuis 2015, jusqu'à 2025

Publié le 2025-05-04 17:29

Ça fait un bout que je n'ai pas posté d'article de blog. Et puis tout d'un coup, tout le site a changé d'aspect, et voilà donc un nouvel article ! J'allais écrire: «Il va neiger ?!» mais bon, y'a eu des giboulées de Mars (en Mai), donc c'est tout comme. Pourquoi donc ne pas continuer sur un vieil ar...

Windows 1809 and grub

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

Wallpaper personalization, an update

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