On 15/04/2024 at 13:51, Santiago Vila wrote:
In this bug report, I'm asked to provide /efi as a mount point for the
EFI partition.
Given that base-files does not even contain /boot/efi (the supposedly
"old" location),
I believe this is a decision for you to make, hence the reassign.
partman-efi sets /boot/efi as the mount point for the ESP because this
is where grub-install expects the ESP to be mounted by default. Changing
the ESP mount point first implies to either:
- change all relevant package and installer scripts to call grub-install
with --efi-directory=/efi
- change grub-install --efi-directory default to /efi instead of or in
addition to /boot/efi
- replace GRUB with a boot loader such as systemd-boot which expects the
ESP to be mounted on /efi by default
