diff options
Diffstat (limited to '')
| -rw-r--r-- | home/.profile | 2 | ||||
| -rw-r--r-- | install.sh | 6 |
2 files changed, 7 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 diff --git a/install.sh b/install.sh index f34c84e6..6051edaf 100644 --- a/install.sh +++ b/install.sh @@ -32,6 +32,12 @@ Darwin() { [ -d /opt/local ] || installMacPorts sudo /opt/local/bin/port selfupdate sudo /opt/local/bin/port -N install git mandoc pkgconfig $packages + sudo mkdir -p /opt/local/etc/select/man + printf 'bin/man\nshare/man/man1/man.1\nshare/man/man1/man.1.gz\n' \ + | sudo tee /opt/local/etc/select/man/base >/dev/null + printf '/usr/bin/man\n/usr/share/man/man1/man.1\n-\n' \ + | sudo tee /opt/local/etc/select/man/system >/dev/null + sudo port select --set man system } $(uname) |