diff options
| author | Leah Rowe <leah@libreboot.org> | 2024-06-01 16:48:23 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2024-06-01 18:12:40 +0100 |
| commit | c742a89dadae7eece86b49132cf8d9929fd5a587 (patch) | |
| tree | 5ad7d19bb29ec3f86254881ce1fb22bf2d008cda /config/grub | |
| parent | e0b2216f6461a88e9aab54e2c2a0a366f20dfd3d (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.cfg | 2 |
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 |