"Matthew Emmerton" <matt at gsicomp.on.ca> writes: > If you know that package XYZ exists in /var/db/pkg but isn't in /usr/local > (probably because you didn't 'make deinstall' or pkg_delete it), just do > this: > > rm -rf /var/db/pkg/XYZ Umm, no, just pkg_delete it and ignore the warnings about missing files. DES -- Dag-Erling Smørgrav - des at ofug.org