extlinux-builder: handle the case that /boot/EFI/BOOT is not empty

This commit is contained in:
colin 2022-06-23 17:46:41 -07:00
parent 69cad1ca55
commit 0edf62a31f

View File

@ -16,12 +16,12 @@ done
@genericBuilder@ $@
# populate the EFI directory with syslinux, and configure it to read that extlinux.conf file managed by nixos
mkdir -p $target/EFI/syslinux
mkdir -p $target/EFI/syslinux $target/EFI/BOOT
cp @syslinux@/share/syslinux/efi64/* $target/EFI/syslinux/
echo "DEFAULT trampoline" > $target/EFI/syslinux/syslinux.cfg
echo "LABEL trampoline" >> $target/EFI/syslinux/syslinux.cfg
echo "CONFIG ../../extlinux/extlinux.conf ../../extlinux" >> $target/EFI/syslinux/syslinux.cfg
# create the EFI/BOOT/BOOTX64.EFI default entry
cp -R $target/EFI/syslinux $target/EFI/BOOT
cp $target/EFI/syslinux/* $target/EFI/BOOT
mv $target/EFI/BOOT/syslinux.efi $target/EFI/BOOT/BOOTX64.EFI