mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-18 20:47:55 +00:00
19067a9a72
Simplify the menu options by removing the duplication of the entry name in the menu selections; instead, use clear verbiage to distinish between booting one time and making the default. And as the majority of the boot menu is shown is when the grub entires have changed and the user is prompted to select a new default, so make that the first/default menu option. Signed-off-by: Matt DeVillier <matt.devillier@puri.sm> |
||
---|---|---|
.. | ||
.gnupg | ||
bin | ||
etc | ||
run/cryptsetup | ||
sbin | ||
.ash_history | ||
init | ||
mount-boot |