From 03f722b8817626155f41a046e1e1c5ea7644a54c Mon Sep 17 00:00:00 2001 From: Cabia Rangris Date: Wed, 17 Jul 2019 22:13:08 +0300 Subject: [PATCH] fix: wrong efi folder --- bootfiles/bootinst.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bootfiles/bootinst.sh b/bootfiles/bootinst.sh index 748be9d..b23ed37 100755 --- a/bootfiles/bootinst.sh +++ b/bootfiles/bootinst.sh @@ -41,11 +41,11 @@ if [ "$DEV" != "$PART" ]; then fi # Now to be able to boot from most of UEFI devices -EFIDIR="$BOOT/EFI/efi/boot" +EFIDIR="$BOOT/EFI/boot" mkdir -p "$EFIDIR" cp efi-files/* "$EFIDIR" -# I didn't renamed the binary in place so it could be updated more easily +# I didn't rename the binary in place so it could be updated more easily mv "$EFIDIR/syslinux.efi" "$EFIDIR/bootx64.efi" echo "Boot installation finished."