On Sun 2014-11-16 23:29:37 UTC+0100, Dr. Peter Voigt (pvo...@uos.de) wrote:
> I have just seen that /usr/ports/distfiles has grown up to 12 GiB. My > hopefully not too stupid question is: Can I safely delete all files > under /usr/ports/distfiles, e.g. > > # rm -rf /usr/ports/distfiles/* > > I strongly suppose so but I am not sure. Thanks for any feedback. Yes. Missing distfiles will be redownloaded when/if you rebuild a port. Regards Andrew _______________________________________________ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"