Subject: Re: purging distfiles
To: Juan RP <email@example.com>
From: Geert Hendrickx <firstname.lastname@example.org>
Date: 08/09/2005 15:46:07
On Tue, Aug 09, 2005 at 03:42:06PM +0200, Juan RP wrote:
> On Tue, 9 Aug 2005 19:06:59 +0530
> "Cherry G. Mathew" <email@example.com> wrote:
> > Hi,
> > I don't think this is covered in the FAQ:
> > I have a mix of current and old distfiles in my /usr/pkgsrc/distfiles
> > directories.
> > What's an exact sequence of commands to clean it up so that I have
> > just the latest, greatest distfiles left there ?
> lintpkgsrc can do that (pkgtools/pkglint), can't remember the options...
> please review the manpage.