Peter Robinson wrote:
It use to only be displayed if there was more than one OS configured
or if the CTRL was held down. Having to press a particular key means
you have to get it at the second or two where grub isn't displayed.
The Ctrl option is quite nice as you can do it before the BIOS
disappears.
But how are users supposed to discover it?
Björn Persson