| 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:09 |
| 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 | 01: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!