[01:09] <cyphermox> nelsk: indeed, not. The way to distinguish between EFI boot and old BIOS boot is that EFI boot you just get the GRUB menu
[01:09] <cyphermox> I'd like to change that though and make the grub menu pretty, but it's not at the top of my priority list
[01:55] <nelsk> is it realistic to indicate to the user if they're booted in EFI mode?
[01:55] <nelsk> the docs suggest a simple [ -d /sys/firmware/efi ] && blah, I think that would be kind of useful for users who know what's going on