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 installation and seeing that the computer was not booting, I started to research in the internet and found the Debian installation guide I mention in the bug report. After that I started to understand what was going wrong and I installed again Debian from scratch and without changing anything in the BIOS. But this time I allowed partman to do a guided partitioning, which I afterwards tuned to my needs. Partman of course 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 <st...@einval.com> wrote: > On Fri, Mar 17, 2017 at 03:20:33PM +0100, Miguel Hermanns wrote: > >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 should have done so. > > Hi Miguel, > > That's how the code has worked for me in the past, and it's not > changed in quite a while. Are you sure you booted in EFI mode? > > -- > Steve McIntyre, Cambridge, UK. > st...@einval.com > "When C++ is your hammer, everything looks like a thumb." -- Steven M. > Haflich > >