Rick Thomas <rick.tho...@pobox.com> wrote: > On Tue, May 12, 2020, at 3:37 PM, Andrea Borgia wrote: >> Il 13/05/20 00:21, Patrick Bartek ha scritto:
>> > I can't find anything definitive on this question. Some say, 100MB >> > is fine; others 215 or 550 is a safe choice. It all seems to be >> > just opinions. >> I had the same doubts about a year ago and went with the >> recommendation of a larger partition, about 500MB... of which only 6% >> is used. My office laptop with Windows10 has something in the region >> of 100MB but it is not dualboot. Debian uses about 6MB, MS about >> 26MB, plus a couple of megs for boot. If space is really tight you >> might want to stick with 100MB in total. > One thing to keep in mind is that, when the contents are being > updated, the EFI partition and the /boot partition if you have one, > will need space for two (or even more) copies of stuff. So don't be > too stingy! Also Firmware/BIOS update are often put onto there nowadays to be installed on next reboot. Grüße, Sven. -- Sigmentation fault. Core dumped.