A little more information.
I added
echo "Debugging: menuentry_id_option="$menuentry_id_option
echo "Debugging: feature_menuentry_id="$feature_menuentry_id
to grub.cfg and thus found that both were blank (or at least
whitespace).
When
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu
--class os $menuentry_id_option
'gnulinux-simple-43ae47ae-86fc-43a6-9661-dcf030179dc0' {
load_video
insmod gzio
insmod part_msdos
....
}
is encountered later, I don't see a conditional to stop the
$menu_id_option 'whatever'
appearing which seems to be the bug. But I haven't looked very hard.
I don't see any alternative menuentry for when $menu_id_option is
empty, so this really does look like an oversight.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
