Bug#717586: add /etc/default/grub option to disable submenus

jidanni at jidanni.org jidanni at jidanni.org
Mon Jul 22 18:07:32 UTC 2013


Package: grub2-common
Version: 2.00-15

Please do not introduce submenus without adding an option to
(info "(grub) Simple configuration")
to disable them. See also
https://bbs.archlinux.org/viewtopic.php?id=138446



More information about the Pkg-grub-devel mailing list