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? B
