a88f7c13cd
directory with currently installed packages.
This script will delete any ${DISTFILE} in ${DISTDIR} that does not currently
have an installed package as an owner.
If you play with packages a fair bit and download some just to have a play with
and delete the package later your ${DISTDIR} can end up with a lot of orphaned
${DISTFILES}. While lintpkgsrc will help you remove outdated ${DISTFILES} it
does not do any corealtion with installed packakges which is the gap this
script aims to fill.
With "lintpkgsrc -or && pkg_distinst --delete" you can and up with a fairly
lean and current ${DISTDIR}.
10 lines
535 B
Text
10 lines
535 B
Text
===========================================================================
|
|
$NetBSD: MESSAGE,v 1.1.1.1 2009/01/04 00:44:38 adrianp Exp $
|
|
|
|
WARNING:
|
|
This script will quite hapily delete *any* file in ${DISTDIR}
|
|
(or --distdir) that does not belong to an installed package. The only
|
|
exception to this is that it tries to avoid deleting some CVS files.
|
|
Please be sure that you are not storing anything else in ${DISTDIR}
|
|
(or --distdir) that you may want to keep.
|
|
===========================================================================
|