From c742a89dadae7eece86b49132cf8d9929fd5a587 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Sat, 1 Jun 2024 16:48:23 +0100 Subject: [PATCH] grub.cfg: remove unnecessary path for isolinux the path "/boot/EFI" is unnecessary because the ESP is always a FAT32 partition, so we don't need to scan it as a subdirectory within a subdirectory. the ESP is always mounted as its own partition, FAT32, and EFI/ is always at the root of it Signed-off-by: Leah Rowe --- config/grub/config/grub.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/grub/config/grub.cfg b/config/grub/config/grub.cfg index 12f460ce..5a6abd44 100644 --- a/config/grub/config/grub.cfg +++ b/config/grub/config/grub.cfg @@ -98,7 +98,7 @@ function search_grub { function try_isolinux_config { set root="${1}" - for dir in '' /boot /EFI /boot/EFI /@ /@/boot; do + for dir in '' /boot /EFI /@ /@/boot; do if [ -f "${dir}"/isolinux/isolinux.cfg ]; then syslinux_configfile -i "${dir}"/isolinux/isolinux.cfg elif [ -f "${dir}"/syslinux/syslinux.cfg ]; then