/srv/irclogs.ubuntu.com/2016/09/13/#ubuntu-installer.txt

cyphermoxnelsk: indeed, not. The way to distinguish between EFI boot and old BIOS boot is that EFI boot you just get the GRUB menu01:09
cyphermoxI'd like to change that though and make the grub menu pretty, but it's not at the top of my priority list01:09
nelskis it realistic to indicate to the user if they're booted in EFI mode?01:55
nelskthe docs suggest a simple [ -d /sys/firmware/efi ] && blah, I think that would be kind of useful for users who know what's going on01:55
=== davmor2_ is now known as davmor2
=== acheronuk_ is now known as acheron
=== acheron is now known as Guest1658

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!