Date: Sun, 16 Nov 2014 17:20:10 -0600 From: Adam Vande More <amvandemore@gmail.com> To: "Dr. Peter Voigt" <pvoigt@uos.de> Cc: FreeBSD Ports <freebsd-ports@freebsd.org> Subject: Re: Deleting ports distfiles Message-ID: <CA%2BtpaK3LDwF0H6onuMi=Cacoo16S5AUeB0357FsgFdH5u1-qUw@mail.gmail.com> In-Reply-To: <20141116232937.657463ce@kirk.drpetervoigt.private> References: <20141116232937.657463ce@kirk.drpetervoigt.private>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sun, Nov 16, 2014 at 4:29 PM, Dr. Peter Voigt <pvoigt@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. > It is not necessarily a safe operation to preform depending on the details. The downloads in that location may be the last known copy of that particular port/version at least as a copy available to you. Deleting those files could prevent you from rebuilding a certain port/version if needed. Nearly all the time this isn't a problem or easily worked around, but not universally so IME. After doing a ports upgrade, and ensuring fully correct operation of the system it's generally safe to run something like "portmaster -t--clean-distfiles" to remove stale distfiles. -- Adam
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CA%2BtpaK3LDwF0H6onuMi=Cacoo16S5AUeB0357FsgFdH5u1-qUw>