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 | fed52c75edeab8a250b24304d050e6fd85b8f2fc (patch) | |
tree | 3bc5267ea2ea3e2ef13c1b09fec560284f98aee9 /home | |
parent | Move /opt/local behind /usr again (diff) | |
download | src-fed52c75edeab8a250b24304d050e6fd85b8f2fc.tar.gz src-fed52c75edeab8a250b24304d050e6fd85b8f2fc.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 '')
-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 |