diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/binary_grub/grub.cfg | 18 |
1 files changed, 18 insertions, 0 deletions
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 |