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?
Sven.