Grubb list menu

[Tom H]

>>> 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.