On Wed 13 May 2020 at 11:37:31 (-0700), Patrick Bartek wrote: > On Wed, 13 May 2020 07:38:00 +0200 Sven Hartge <s...@svenhartge.de> wrote: > > 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. > > Aren't such updates stored still in /boot? Or has that changed with > efi?
Were they ever? I don't see how the hardware/firmware would read them from some foreign filesystem. OTOH with EFI, it knows the filesystem will be FAT. Cheers, David.