Grubb list menu

Tom H tomh0665 at
Wed Feb 10 16:57:10 UTC 2010

>>> Now, for the benefit of all, can you explain how you figured out how to
>>> do that?

>> I suspected that there was some kind of loop in
>> /etc/grub.d/30_os-prober to detect the other os's and found it. My
>> scripting skills are basic but it was not a difficult modification.

> your solution will certainly help keep the peace around my house for
> awhile :-) Thanks again.

Most welcome.

I hope that the grub devs provide a way of doing this in the future
without us having to edit their scripts.

More information about the ubuntu-users mailing list