Deleting ports distfiles

[andrew clarke]

On Sun 2014-11-16 23:29:37 UTC+0100, Dr. Peter Voigt (pvoigt at 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