Bug#690538: grub-common: Please make submenu creation optional or at least allow users to disable it easily

[Craig Sanders]

great, grub in debian now has the same submenu brain-damage that Ubuntu
got last year.

amongst other problems, it breaks grub-set-default and grub-reboot,
because the submenu entry messes up the numerical ordering of the
menuentries.

anyway, here's a patch. allows users to choose whether 10_linux
generates submenus or not (by setting GRUB_ENABLE_SUBMENUS=true or false
in /etc/default/grub)

patch attached.

the patch as written defaults to disabling submenus. to retain current
(imo, broken) behaviour as default, change the tests from

  if [ "$GRUB_ENABLE_SUBMENUS" = "true" ]
to
  if [ "$GRUB_ENABLE_SUBMENUS" != "false" ]



i honestly don't care what the default is, as long as there's a setting
to enable/disable generation of submenus.

craig

-- 
craig sanders <cas at taz.net.au>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 10_linux.patch
Type: text/x-diff
Size: 1756 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20130513/493dd30f/attachment.patch>