You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The GRUB documentation used to say `GRUB_DISABLE_SUBMENU=y`, now it says
`GRUB_DISABLE_SUBMENU=true`
Also, the corresponding code is unreliable copy/paste/diverge:
rhboot/grub2@ee4bd79ef28e6fa4a6
This makes GRUB submenus error-prone. As a broken grub.cfg makes the
system unbootable, "harden" the corresponding documentation.
Signed-off-by: Marc Herbert <[email protected]>
0 commit comments