Quote:
Originally Posted by shep
On my install Debian produced a $ESP/EFI/BOOT/bootx64.efi
|
Ah, I see. I haven't installed Debian on a UEFI computer since stretch, I think that used $ESP/grub/debian/grubx64.efi and made an NVRAM entry to set that as the loader.
I will have to try the buster installer on a UEFI laptop.
Quote:
|
I had read that EFI partitions were msdos and I was concerned that bootx64.efi would not be distinguished from BOOTX64.EFI.
|
The FAT filesystem is case-insensitive but because the names are longer than 8 characters they should have an
LFN extension which will distinguish between the two.