Removing local ports from the registry

[Mark Brethen]

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
>> 
>> 
>> 
>