diff options
author | Juan RP <xtraeme@voidlinux.eu> | 2015-07-12 08:48:08 +0200 |
---|---|---|
committer | Juan RP <xtraeme@voidlinux.eu> | 2015-07-12 08:48:08 +0200 |
commit | e514350f88c48f144fd2a76a3748fb35bd23b914 (patch) | |
tree | d6372cd6944b378390b027eaafe333649c874afa | |
parent | 202c0c17e5aca44e51c4db2450e89b06c01a9f64 (diff) | |
download | hrmpf-e514350f88c48f144fd2a76a3748fb35bd23b914.tar.gz hrmpf-e514350f88c48f144fd2a76a3748fb35bd23b914.tar.xz hrmpf-e514350f88c48f144fd2a76a3748fb35bd23b914.zip |
mklive: install GRUB EFI loader as EFI/BOOT/BOOTX64.EFI.
There are some EFI firmwares that expect the loader to be in that location and being uppercase, so that there more chances to make this boot on more systems.
-rw-r--r-- | mklive.sh.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mklive.sh.in b/mklive.sh.in index 8d3857d..a13969b 100644 --- a/mklive.sh.in +++ b/mklive.sh.in @@ -218,8 +218,8 @@ generate_grub_efi_boot() { losetup --detach "${LOOP_DEVICE}" die "Failed to generate EFI loader" fi - mkdir -p ${GRUB_EFI_TMPDIR}/EFI/boot - cp -f $VOIDHOSTDIR/tmp/bootx64.efi ${GRUB_EFI_TMPDIR}/EFI/boot/ + mkdir -p ${GRUB_EFI_TMPDIR}/EFI/BOOT + cp -f $VOIDHOSTDIR/tmp/bootx64.efi ${GRUB_EFI_TMPDIR}/EFI/BOOT/BOOTX64.EFI umount "$GRUB_EFI_TMPDIR" losetup --detach "${LOOP_DEVICE}" rm -rf $GRUB_EFI_TMPDIR |