Jos Chrispijn wrote: > ===>>> The misc/gnomehier port has been deleted: > [snip] > <gnomehier> deinstall won't work anymore as its portfolder is gone...
Even with the port *directory* gone, either "pkg delete gnomehier" or "pkg_delete gnomehier<-version>" (if you're still on the old pkg_* tools) should still work. Afterwards, you may want to run the portupgrade equivalent of "portmaster -a" to see if anything needs to be rebuilt. Hope this helps, AvW -- Imbibo, ergo sum.
pgpnduy5aJsww.pgp
Description: PGP signature
