Created attachment 758622 [details] Add EFI operating systems to the menu UEFI operating systems don't get added to the boot menu, which is a pain. This patch adds rough support.
any objection to making this a dupe of 873207? it's the same issue and a lot of interested parties are subscribed to that one.
No problem.
*** This bug has been marked as a duplicate of bug 873207 ***
In case anyone with 2.00 wonders: +grub_tab=" " + +grub_add_tab () { + sed -e "s/^/$grub_tab/" +} Thank you Matthew :)