Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 16 Nov 2014 23:29:37 +0100
From:      "Dr. Peter Voigt" <pvoigt@uos.de>
To:        freebsd-ports@freebsd.org
Subject:   Deleting ports distfiles
Message-ID:  <20141116232937.657463ce@kirk.drpetervoigt.private>

next in thread | raw e-mail | index | archive | help
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.

Regards,
Peter



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20141116232937.657463ce>