profile: add plan9 environment

Modified MANPATH and PATH accordingly.
master
Pierre Neidhardt 2014-01-06 15:18:42 +01:00
parent 49991d8c7b
commit 7b5ab5317f
1 changed files with 10 additions and 0 deletions

View File

@ -55,6 +55,16 @@ if [ -d "${TEXDIR}" ]; then
fi
unset TEXDIR
## Plan9
PLAN9DIR="/opt/plan9"
if [ -d "$PLAN9DIR" ]; then
appendpath "$PLAN9DIR/bin"
if [ "$OSTYPE" = "linux-gnu" ]; then
appendpath "$PLAN9DIR/share/man" MANPATH
fi
fi
unset PLAN9DIR
## Make 'less' more friendly for non-text input files, see lesspipe(1).
command -v lesspipe >/dev/null 2>&1 && eval "$(lesspipe)"