Grubb list menu

[Tom H]

> Tom, you are the man! Works! Thanks!

:)
You're welcome.


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

Please keep in mind that at the next upgrade of grub2, either this
file will be replaced automatically or you will be prompted to use the
new one, the old one, or compare them in order to choose one.