Bug#1055583: base-files: EFI System Partition should mount on /efi not /boot/efi
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
Bug#1055583: base-files: EFI System Partition should mount on /efi not /boot/efi
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.
Bug#1055583: base-files: EFI System Partition should mount on /efi not /boot/efi
El 8/11/23 a las 14:42, kyriah.picc...@easymailer.live escribió: Package: base-files Severity: normal 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 I see a few contradictory comments in such thread. Some people saying FHS is dead, others saying it's not. 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). """ 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.
Bug#1055583: base-files: EFI System Partition should mount on /efi not /boot/efi
Package: base-files Severity: normal 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). """
