From 76cdd10650b84e531aa64b9f771ee498c09f213d Mon Sep 17 00:00:00 2001 From: Joerg Schirottke Date: Wed, 12 Mar 2014 22:22:04 +0100 Subject: fix uefi 32 bit shell name --- config/binary_grub/grub.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/binary_grub/grub.cfg b/config/binary_grub/grub.cfg index e77122b..c1d55d6 100644 --- a/config/binary_grub/grub.cfg +++ b/config/binary_grub/grub.cfg @@ -108,9 +108,9 @@ else chainloader /efi/boot/shellx64.efi } fi - if test -f /efi/boot/shellx86.efi ; then + if test -f /efi/boot/shellia32.efi ; then menuentry 'EFI Shell x86' { - chainloader /efi/boot/shellx86.efi + chainloader /efi/boot/shellia32.efi } fi insmod regexp -- cgit v1.0