Control: tags -1 + moreinfo

Hello,

It is hard to understand what issue exactly you had, so we can only try
to guess...

Brian Wengel, le dim. 17 mars 2019 01:52:17 +0100, a ecrit:
> I hope the installer could be a little more flexible in regards to  EFI
> partition,
[...]
> Why put a size limit which is way larger than the technical limit?

Which size limit are you talking about?  Which error message do you
get exactly, at which point of the installation? Please never assume
anything is obvious in a bug report.

The one I can find in partman-efi, the source code about EFI partitions, is

“
"EFI System Partitions on this architecture cannot be created with a size "
"less than 35 MB. Please make the EFI System Partition larger."
”

which corresponds to

# Experimentally-verified minimum size for a FAT32 filesystem created using
# libparted.

i.e. a technical limitation.

I can not find anything in grub-installer. Perhaps the error message you
are mentioning actually comes from grub, but without knowing the exact
error message you got, it's very hard to tell.

> But the installer absolutely want a very big partition.

How big did you see it require?

> There might be a technical reason, but I assume is just a matter of opinion,
> right?

By default, assume technical reason, not opinion. Perhaps it's just a
bug in computing sizes. But without more information of the case you
encountered, it's hard to determine what went wrong, so we need more
information.

Samuel

Reply via email to