Installer minimum required EFI partition size is too large

[vjr]

The installer does not accept EFI partitions smaller than 512 MiB due to the constant in https://github.com/elementary/installer/blob/master/src/Views/PartitioningView.vala#L47

This is a request to set the constant to the minimum of 100 MB or 102400 sectors, assuming the sector size is 1024 bytes here.

Rationale for this issue report is that on my computers I first install Windows 10 which creates an ESP of 100 MB and then I proceed to install about 4 more instances of linux in a multi boot and the ESP size of 100 MB is more than enough.

I don't know the reason for the existing constant setting the minimum to 512 MB but I hope setting it to 100 MB won't be a problem?

This will unblock installations in users' scenarios such as mine where I have pre-created multiple partitions for OS installations (with Windows 10 being the first) and do not wish to create multiple EFI partitions on disk.

[vjr]

This originated here: #345

[vjr]

Perhaps the minimum size is currently 1 GB if sector size is 512 bytes? https://github.com/pop-os/distinst/blob/master/crates/disks/src/config/disk.rs#L127

[marmeladapk]

Adding to this:

I have a similar multi-boot setup with Windows installed first. EFI partition has 100 MB and is mounted under /boot/efi in linux. Aside from that I have a 500 MB /boot partition which should be more than enough for all kernels. Currently it's not possible to install elementary OS in this scenario (even when I manually point to 500MB partition to be mounted as /boot and EFI partition to be mounted as EFI).

[megatux]

Idem here. Win10 machine + Manjaro. Almost 50% free space in EFI partition. Is there a workaround? (e.g. replacing the binary manually in the USB). I really want to go back to Elementary.