Peter Geerds schrieb:
Stichwort GRUB_DISABLE_SUBMENU=
Zu früh gefreut, die Einstellung wird ignoriert. Im Netz fand ich verschiedene Einstellungen (y, yes, true), die nichts bewirken. Änderungen an 10_linux (auch aus dem Netz) führen zu einem nicht-bootbaren System.
Also laut 10_linux muss es
GRUB_DISABLE_SUBMENU=y
heißen. Und das bewirkt bei mir auch was, nämlich das, was der Name der Variablen besagt: Das Untermenü verschwindet. :-o
Und wenn ich 10_linux richtig deute, ist das auch genau die Absicht dieser Einstellung. Auch wenn im Netz teilweise etwas anderes behauptet wird.