Grubb list menu
tomh0665 at gmail.com
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.
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