gnomehier
Matthias Andree
matthias.andree at gmx.de
Fri Dec 26 19:33:34 UTC 2014
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.
More information about the freebsd-ports
mailing list