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... BR, Jos Chrispijn