On Aug 16, 2018, at 12:41, Langer, Stephen A. (Fed) wrote:
> https://guide.macports.org/chunked/development.local-repositories.html
> contains instructions for adding a local port file repository. When I'm done
> with the local repository, how can I delete it? Is removing it from
> sources.conf sufficient? Do I somehow need to undo the effect of running
> portindex?
Yes, removing the entry from sources.conf should be enough. You can then delete
the local repository's directory from your disk, if desired.
