diff options
author | June McEnroe <june@causal.agency> | 2020-09-12 03:13:28 -0400 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2020-09-12 03:14:40 -0400 |
commit | ad162c93d5a67c8beaad19cb7888b4119b151311 (patch) | |
tree | faecbfbae9c01d05f091ae231ac39779c40c15d5 | |
parent | Enable toc in cgit renderings of man pages (diff) | |
download | src-ad162c93d5a67c8beaad19cb7888b4119b151311.tar.gz src-ad162c93d5a67c8beaad19cb7888b4119b151311.zip |
Move /opt/local behind /usr again
The reason I did this with pkgsrc was because I actually don't want the man(1) from mandoc, since it won't follow MANSECT. Same applies to MacPorts. I wish I could disable its man(1) with a variant or whatever.
-rw-r--r-- | home/.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.profile b/home/.profile index ed6d9c67..c54814de 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 /opt/local /usr ~/.local; do +for prefix in '' /usr/local /usr /opt/local ~/.local; do path "${prefix}/sbin" path "${prefix}/bin" done |