#1055583 base-files: EFI System Partition should mount on /efi not /boot/efi

Package:
base-files
Source:
base-files
Description:
Debian base system miscellaneous files
Submitter:
Date:
2024-04-15 20:45:03 UTC
Severity:
normal
#1055583#5
Date:
2023-11-08 13:42:10 UTC
From:
To:
Dear Maintainer,

/efi is a replacement for the historical and now discouraged ESP (EFI System Partition) mountpoint /boot/efi.

Systemd upstream agrees: https://github.com/systemd/systemd/pull/3757#issuecomment-234290236

Using /boot/efi means that /boot must always be mounted in order to mount the ESP, but those two partitions are independent so making /boot a prerequisite for ESP is needless.

/efi is already documented in debian-stable under `man file-hierarchy`, quoting:

"""
/efi/
If the boot partition /boot/ is maintained separately from the EFI System Partition (ESP), the latter is mounted here. Tools that need to operate on the EFI system partition should look for it at this mount point first, and fall back to /boot/ — if the former doesn't qualify (for example if it is not a mount point or does not have the correct file system type MSDOS_SUPER_MAGIC).
"""
#1055583#10
Date:
2023-11-08 14:58:24 UTC
From:
To:
El 8/11/23 a las 14:42, Kyriah.Piccoli@EasyMailer.live escribió:

I see a few contradictory comments in such thread. Some people saying FHS is dead,
others saying it's not.

Well, please note that base-files currently does not include /boot/efi:

dpkg -S /boot/efi
dpkg-query: no path found matching pattern /boot/efi

Maybe I should ask debian-installer people about this.

Thanks.
#1055583#15
Date:
2024-04-15 11:51:05 UTC
From:
To:
reassign 1055583 debian-installer
thanks

Dear debian-installer people:

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.

[ I would be open to include /efi in base-files, but only if you consider necessary ].

Thanks.
#1055583#22
Date:
2024-04-15 20:30:50 UTC
From:
To:
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