> However, at some point, even novice users might need to build a port to apply > some errata.
For novice users the documentation recommends using packages mainly. > If that port is one of the big ones (php, in my case), they may > realize that they don’t have enough disk space. > Granted, there are workarounds. You could try setting the locations in PORTSDIR, WRKOBJDIR, DISTDIR & PACKAGE_REPOSITORY according to your liking in /etc/mk.conf man 7 ports > What I’m really asking is, are there any strong arguments against > increasing /usr default size to 5GB instead of 2GB on large disks? > Users which go with the default settings are probably the ones who > need it the most. man 8 disklabel Note: the defaults are sufficient for building most of the time, and the above suggested variables can help you out with cases when you are stuck with smaller partitions. > Anyway, I won’t push further, since this is probably a discussion that could > go for long. Not really. > Thanks everyone for the tips. I’ve already solved my problem, but I thought > it could be useful to have (in my opinion) better defaults so that other > people don’t run into this wall at some point. You could try the patch stunt :-) No hard feelings, your added explanation was enough to discern any suspicion of "agenda".
