newbie:/usr/ports/distfiles

[Julien Gabel]

>> I'm up to about 700Mb of files in /usr/ports/distfiles. Other than
>> insurance in case of a re-install, is there a good reason to keep
>> them around?

> No, you can safely delete anything in /usr/ports/distfiles or remove
> and recreate the directory.  It just means that if you decide to
> reinstall a port for some reason, the source tarball will be
> downloaded again to /usr/ports/distfiles - as you know anyway by the
> sounds of it.

If you have installed portupgrade(1), you can use the portsclean(1)
command to "clean" your ports:

  # portsclean -C
  # portsclean -D
  # portsclean -DD
  # portsclean -L
  # portsclean -P

Look at the '-D' and '-DD' for /usr/ports/distfiles in particular.
-- 
-jg.