diff options
author | June McEnroe <june@causal.agency> | 2020-09-12 15:46:36 -0400 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2020-09-12 15:58:39 -0400 |
commit | 22f8acab4886e2f44b8e8f22160e8ac43f8614ce (patch) | |
tree | 68d845387a634b04d37aabb4bcd08f2418f24793 /home | |
parent | Move /opt/local behind /usr again (diff) | |
download | src-22f8acab4886e2f44b8e8f22160e8ac43f8614ce.tar.gz src-22f8acab4886e2f44b8e8f22160e8ac43f8614ce.zip |
Move /opt/local back, cheat port select to use system man
This is not really how you're supposed to use the select system, I don't think, since the mandoc package actually creates those files, but it does work. This lets me actually use the git installed by MacPorts.
Diffstat (limited to 'home')
-rw-r--r-- | home/.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.profile b/home/.profile index c54814de..ed6d9c67 100644 --- a/home/.profile +++ b/home/.profile @@ -1,6 +1,6 @@ _PATH=$PATH PATH= path() { [ -d "$1" ] && PATH="${PATH}${PATH:+:}${1}"; } -for prefix in '' /usr/local /usr /opt/local ~/.local; do +for prefix in '' /usr/local /opt/local /usr ~/.local; do path "${prefix}/sbin" path "${prefix}/bin" done |