On Sat, Apr 30, 2011 at 03:33:59PM +0200, Sven Schnelle wrote:
Hi Sebastian,
"Sebastian Herbszt" herbszt@gmx.de writes:
Sven Schnelle wrote:
There's no point in presenting a menu to the user if there's only one option to choose from. In that case skip this menu to save some waiting time during boot.
The case if there's only one option to choose from might be an error (e.g. device not detected, misconfiguration). Just skipping the menu doesn't sound like the correct choice.
How does the boot menu help you in that case?
It doesn't help you, but it at least lets you confirm the problem. Also, not showing the F12 prompt probably kills off the splash screen.
Jonathan Kollasch