summaryrefslogtreecommitdiff
path: root/config/grub
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-06-01 16:48:23 +0100
committerLeah Rowe <leah@libreboot.org>2024-06-01 18:12:40 +0100
commitc742a89dadae7eece86b49132cf8d9929fd5a587 (patch)
tree5ad7d19bb29ec3f86254881ce1fb22bf2d008cda /config/grub
parente0b2216f6461a88e9aab54e2c2a0a366f20dfd3d (diff)
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 <leah@libreboot.org>
Diffstat (limited to 'config/grub')
-rw-r--r--config/grub/config/grub.cfg2
1 files changed, 1 insertions, 1 deletions
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