Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/configs/baseline/profiledef.sh
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2023-01-28 13:08:49 +0200
committernl6720 <nl6720@gmail.com>2023-02-22 18:28:24 +0200
commitf5ade898f9cb0de1f6fb01fcef088d8a6b56de7d (patch)
tree68a6aa53a2fb830ccce5feceec20d6680e25c345 /configs/baseline/profiledef.sh
parent40e09767f0cea7c4a94af98504e9c936f1dd7720 (diff)
Do not duplicate grub.cfg in efiboot.img
Instruct the embeded grub.cfg to search for a volume with a `/.disk/%UUID_SEARCH_FILENAME%.uuid` file and load `/EFI/BOOT/grub.cfg` from it. This avoid duplicating GRUB configuration files in two places (ISO 9660 and FAT) and ensures there is no confusion about which is the _correct_ configuration file. Since nothing besides EFI binaries is copied to `efibootimg`, the `_make_common_bootmode_grub_copy_to_efibootimg` function is removed. Fixes #208
Diffstat (limited to 'configs/baseline/profiledef.sh')
0 files changed, 0 insertions, 0 deletions