patch for force fetch
wxs at FreeBSD.org
Tue May 17 13:43:49 UTC 2011
On Mon, May 16, 2011 at 10:22:23PM +0300, Andriy Gapon wrote:
> on 16/05/2011 19:53 Eitan Adler said the following:
> >> I've run into this myself and simply done the manual rm -f. This looks like
> >> a great addition.
> > what about make distclean ?
> Can you please elaborate?
> If you mean that I could just run 'make distclean', then my answer is
> why should I. I.e. if the ports infrastructure already knows that
> there is something wrong with a local copy of a distfile (wrong size,
> wrong checksum), then it should just do the right thing and not annoy
> me to run some cleanup action.
While I certainly don't disagree with you here, I do want to point out
that keeping old distfiles around when the checksum is different has
saved my butt more than once. It's very useful to not delete the old
distfile. On more than one occasion I've had to diff old and new
distfiles to figure out why the checksums are different. If ports just
deleted the old one I may not be able to get it back.
I do like the idea of ports DTRT and just fetch the new file, but can we
have it move the old one to some place safe instead of delete it?
More information about the freebsd-ports