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. _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
