sure. Or do “sudo port clean PORTNAME —all” and macports will do it for you.
Ken > On Nov 16, 2018, at 11:49 AM, Mark Brethen <[email protected]> wrote: > > And then I can manually remove their distfiles folders? > > > Mark Brethen > [email protected] > > > >> On Nov 16, 2018, at 1:45 PM, Ken Cunningham >> <[email protected]> wrote: >> >> if you uninstall them, and then delete them from your local portfile >> repository, then run portindex in that repository, you should see no sign of >> them again. >> >> Ken >> >> >> >>> On Nov 16, 2018, at 11:37 AM, Mark Brethen <[email protected]> wrote: >>> >>> There are a number of local ports that I was developing that never came to >>> fruition. Is it possible to remove them from the registry? >>> >>> >>> Mark Brethen >>> [email protected] >>> >>> >>> >> >
