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

2024-04-15 Thread Pascal Hambourg
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.

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

2024-04-15 Thread Santiago Vila
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,

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

2023-11-08 Thread Santiago Vila
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:

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

2023-11-08 Thread Kyriah . Piccoli
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