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