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. partm

Processed: Re: base-files: EFI System Partition should mount on /efi not /boot/efi

2024-04-15 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reassign 1055583 debian-installer Bug #1055583 [base-files] base-files: EFI System Partition should mount on /efi not /boot/efi Bug reassigned from package 'base-files' to 'debian-installer'. Ignoring request to alte

Re: 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, hen