From c7937df15b086ec03a0cb10dda805343731d3016 Mon Sep 17 00:00:00 2001 From: Joerg Schirottke Date: Mon, 5 May 2014 22:10:42 +0200 Subject: grub.cfg: search for grub.efi and gummiboot.efi --- config/binary_grub/grub.cfg | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/config/binary_grub/grub.cfg b/config/binary_grub/grub.cfg index c1d55d6..ead8e6c 100644 --- a/config/binary_grub/grub.cfg +++ b/config/binary_grub/grub.cfg @@ -114,6 +114,15 @@ else } fi insmod regexp + for grub in (*)/EFI/*/grub*.efi; do + if [ -e "$grub" ]; then + regexp --set=device '(\(.*\))' "$grub" + menuentry "Boot GRUB UEFI loader from device $device" "$device" "$grub" { + set root="$2" + chainloader "$3" + } + fi + done for bootmgfw in (*)/EFI/Microsoft/Boot/bootmgfw.efi; do if [ -e "$bootmgfw" ]; then regexp --set=device '(\(.*\))' "$bootmgfw" @@ -123,5 +132,14 @@ else } fi done + for gummiboot in (*)/EFI/gummiboot/gummiboot*.efi; do + if [ -e "$gummiboot" ]; then + regexp --set=device '(\(.*\))' "$gummiboot" + menuentry "Boot Gummiboot UEFI loader from device $device" "$device" "$gummiboot" { + set root="$2" + chainloader "$3" + } + fi + done fi -- cgit v1.0