Bug#254754: Grub added a "Other operating systems" entry, that does nothing.
> Why don't you indent the non-dummy titles? Then the dummy one won't look to
> the user as a real option.
That could be a possibility, yes. This is even maybe what is done
currently (it's a bit of time since I did a dual boot test of d-i)
The user report here insisted on an "option" which was selectable as
an option while it does nothing. The submitter really mentioned it is
a minor issue...but this was an occasion for raising a kind of feature
request against grub indeed.
Reply to: