Remotely switching OS with rEFInd
For systems without IPMI
I’ve recently been doing lots of switching between Linux (i run arch btw) and Windows on my home PC. However, I also do a lot of things remotely. This is fine when you’ve got a pure Linux box, but dual-booting on consumer hardware leaves much to be desired.
GRUB allows you to specify which boot option to select as default on your next boot (and only the next boot), which back-in-the-day I used to use to, in a slightly convoluted manner, reboot to Windows after defaulting to my Linux install.
[Read More]