profile: Do not add plan9 to path since /etc/profile.d/plan9 does it

master
Pierre Neidhardt 2016-05-04 16:57:31 +07:00
parent d5cae71983
commit dd1089dd66
1 changed files with 2 additions and 1 deletions

View File

@ -54,7 +54,8 @@ export BIBINPUTS=~/dataperso/bibliography
## Plan9
PLAN9DIR="/opt/plan9"
if [ -d "$PLAN9DIR" ]; then
appendpath "$PLAN9DIR/bin"
## No need to add to path if /etc/profile.d/plan9.sh does it already.
# appendpath "$PLAN9DIR/bin"
if [ "$OSTYPE" = "linux-gnu" ]; then
appendpath "$PLAN9DIR/share/man" MANPATH
fi