On Fri, Dec 26, 2014 at 4:28 PM, Warren Block <[email protected]> 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 yes it would, but a 'pkg update' after it would re-install those pkg's to avoid compiling and other possible interdependence issues. Or do the pkg update first then delete which shouldn't need the force flag at that point. -- Adam _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
