| commit | c61193d3ec2e29c0764ce93ad17cea259c57faad | [log] [tgz] |
|---|---|---|
| author | Paul Menzel <pmenzel@molgen.mpg.de> | Tue May 19 23:39:42 2020 +0200 |
| committer | Kevin O'Connor <kevin@koconnor.net> | Thu May 21 13:38:27 2020 -0400 |
| tree | b6589c89c315d83712c2dbebffa636540810c43e | |
| parent | b8eda131954452bb5a236100a6572fe8f27d8021 [diff] |
boot: Extend `etc/show-boot-menu` to configure skipping boot menu with only one device
Concerns were raised, that skipping the boot menu, if only one device is
present, might make debugging issues more difficult. So, extend the
current runtime configuration option `etc/show-boot-menu` to enable this
feature by setting it to 2.
Fixes: 29ee1fb8 ("Skip boot menu and timeout with only one boot device")
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>