Posted on 05/04/2025 09:09PM
It's been a while since I last posted a blog article. And then suddenly, the whole site got a new look, and here's a new article! I was about to write, "Is it going to snow?!" but hey, we had March showers (in May), so same difference. So why not continue an old article from 10 years ago that covere...
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