Removing local ports from the registry

[Ken Cunningham]

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 <mark.brethen at gmail.com> wrote:
> 
> And then I can manually remove their distfiles folders?
> 
> 
> Mark Brethen
> mark.brethen at gmail.com
> 
> 
> 
>> On Nov 16, 2018, at 1:45 PM, Ken Cunningham <ken.cunningham.webuse at gmail.com> 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 <mark.brethen at gmail.com> 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
>>> mark.brethen at gmail.com
>>> 
>>> 
>>> 
>> 
>