Only setup MANPATH if manpath(1) is not available

[ConfigScripts.git] / sys / profile

diff --git a/sys/profile b/sys/profile
index 08307cb9643ac36ddcdbd2528f805764f670daaf..e673b016601fb6da6feee4bee7868f13a39dfc08 100644 (file)
--- a/sys/profile
+++ b/sys/profile
@@ -30,7 +30,7 @@ else
 fi
 # prepend optional directories to PATH ...
 path=""
-for d in /usr/pkg/bin /opt/*/bin; do
+for d in /Developer/usr/bin /usr/pkg/bin /opt/*/bin; do
        [ -d "$d" -o -h "$d" ] && path="$path$d:"
 done
 [ -n "$path" ] && PATH="$path$PATH"
@@ -50,16 +50,18 @@ done
 [ -d ~/bin ] && PATH=~/bin:"${PATH}"
 [ -d ~/sbin ] && PATH=~/sbin:"${PATH}"
 
-# set MANPATH so it includes user's private man files
-if [ -n "$MANPATH" ]; then
+# Setup MANPATH, if manpath(1) isn't available
+if [ ! "$(type manpath)" ]; then
+       [ -z "$MANPATH" ] \
+               && MANPATH="/usr/local/share/man:/usr/share/man:/usr/man"
        path=""
        for d in /usr/pkg/share/man /usr/pkg/man /opt/*/share/man /opt/*/man; do
                [ -d "$d" -o -h "$d" ] && path="$path$d:"
        done
        [ -n "$path" ] && MANPATH="$path$MANPATH"
+       [ -d ~/share/man ] && MANPATH=~/share/man:"${MANPATH}"
+       [ -d ~/man ] && MANPATH=~/man:"${MANPATH}"
 fi
-[ -d ~/man ] && MANPATH=~/man:"${MANPATH}"
-[ -d ~/share/man ] && MANPATH=~/share/man:"${MANPATH}"
 
 # set variable identifying the chroot you work in
 [ -r /etc/debian_chroot ] && chroot_name=$(cat /etc/debian_chroot)