News for hackers. Stuff that matters.
Re:An Ode to Linux Desktop Users Everywhere by grp on Tuesday December 06, 2016 @10:52AM (#13115445)
Maybe rEFInd[1] can help!

UEFI has some cool things, like you don't really need a bootloader if you don't mind switching kernels. Just tell the bios which partition you want to boot.

[1] http://www.rodsbooks.com/refind/

Re:An Ode to Linux Desktop Users Everywhere by kusmi on Tuesday December 06, 2016 @02:19PM (#13117433)
Ah, rEFInd, I have it along with a debian image on a USB drive I labeled 'magic stick' because when all else fails, it will work.
Re:An Ode to Linux Desktop Users Everywhere by rodolphoarruda on Tuesday December 06, 2016 @10:57AM (#13115497)
>Just tell the bios which partition you want to boot.

That would work! Thanks a lot.

Re:An Ode to Linux Desktop Users Everywhere by grp on Tuesday December 06, 2016 @11:20AM (#13115759)
In case of, I found that tool when I was searching for something just like efibootmgr (it might help too).

Have fun, you don't have to wait.