Bug#858029: partman-efi: Manual partinioning in EFI system without EFI boot partition does not trigger an error message

2017-03-17 Thread Miguel Hermanns
I don't have them, sorry :-( Sadly, I cannot reproduce the error for you, since the computer is already in use now. On Fri, Mar 17, 2017 at 5:54 PM, Steve McIntyre wrote: > On Fri, Mar 17, 2017 at 05:37:07PM +0100, Miguel Hermanns wrote: > >No other OS installed and I did not ge

Bug#858029: partman-efi: Manual partinioning in EFI system without EFI boot partition does not trigger an error message

2017-03-17 Thread Miguel Hermanns
r 17, 2017 at 05:03:17PM +0100, Miguel Hermanns wrote: > >Dear Steve, > > > >It was the first time I installed something in EFI mode, as in the past I > >always switched back to legacy mode. So I'm quite sure I booted in EFI > >mode. > > > >After the

Bug#858029: partman-efi: Manual partinioning in EFI system without EFI boot partition does not trigger an error message

2017-03-17 Thread Miguel Hermanns
ourse included the EFI boot partition, and this time everything went fine. Best regards, Miguel On Fri, Mar 17, 2017 at 3:57 PM, Steve McIntyre wrote: > On Fri, Mar 17, 2017 at 03:20:33PM +0100, Miguel Hermanns wrote: > >Package: partman-efi > >Version: 75 > >Sever

Bug#858029: partman-efi: Manual partinioning in EFI system without EFI boot partition does not trigger an error message

2017-03-17 Thread Miguel Hermanns
Package: partman-efi Version: 75 Severity: important Dear Maintainer, When installing debian stretch RC2, manual partitioning was done without specifying an EFI boot partition. This did not trigger an error message by partman, although according to section 6.3.3.3 of the installation guide it sho