On Fri, Dec 26, 2014 at 03:28:37PM -0700, Warren Block wrote: > On Fri, 26 Dec 2014, Matthias Andree wrote: > > > Am 26.12.2014 um 20:22 schrieb Jos Chrispijn: > >> With portmanager I got this line: > >> ===>>> The misc/gnomehier port has been deleted: Not needed anymore > >> But I still have it active. How can I remove it when the port itself is > >> nog existing anymore as <gnomehier> deinstall won't work anymore as its > >> portfolder is gone... > > > > pkg delete -f gnomehier > > > > should do the trick. > > Well, yes, but won't that leave the package database with missing > dependencies on it? > 'pkg info -r gnomehier' will show the list of ports that require it. > Rebuild those ports and gnomehier can be deleted without problems. > (Untested): > portmaster `pkg info -qr gnomehier` > pkg delete gnomehier
Normally all ports depending on gnomehier were bumped Best regards, Bapt
pgpK8xaKpiWpr.pgp
Description: PGP signature
