Remove port

[Ryan Schmidt]

On Jan 5, 2016, at 1:00 PM, PhilDobbin wrote:

> Can someone refresh my memory on how to totally uninstall a port?

If the port is named "foo", you would run:

sudo port uninstall foo

This does not uninstall any dependencies that might have been installed for the port. If you're interested in removing those dependencies that are no longer needed, examine the list of ports produced by:

port installed leaves

and, if you like, uninstall them with:

sudo port uninstall leaves