creating /usr/local2 is a good choice

You can even keep it out of /usr employing the /opt "Linuxism". :-)

no matter what's the name, but it's good to have

/usr/local for ports-based installed things
/some/other/directory for hand-installed things

so both base system and ports are clearly separated
_______________________________________________ mailing list
To unsubscribe, send any mail to ""

Reply via email to