On Tue, 12 May 2020 17:17:29 -0700 "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! Thanks. I hadn't considered the extra space that might be needed during update/upgrades, etc. B
