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.
