summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHugues Hiegel <hugues.hiegel@openwide.fr>2009-05-26 18:17:25 +0200
committerHugues Hiegel <hugues.hiegel@openwide.fr>2009-05-26 18:17:25 +0200
commit4ab24d70c92b87d84ea9631e0255579bed225244 (patch)
tree4ea6714091ccf42e3f0750116b1d9716a23d4718
parent5e37075e29514f52978e83f32550ef4efca3cc23 (diff)
[Env] man & info paths update, with best priority to local man/info pages
-rw-r--r--10_Environment.zsh4
1 files changed, 2 insertions, 2 deletions
diff --git a/10_Environment.zsh b/10_Environment.zsh
index c7e098b..0009773 100644
--- a/10_Environment.zsh
+++ b/10_Environment.zsh
@@ -54,8 +54,8 @@ PS1_USER=${PS1_USER:-$color[blue]}
#export PKG_CONFIG_PATH=$PKG_CONFIG_PATH:/usr/X11R6/lib/pkgconfig
export PATH=$PATH:~/sbin:~/local/bin
PATH=/sbin:/usr/sbin:$PATH
-export MANPATH=$MANPATH:~/man:~/local/share/man
-export INFOPATH=$INFOPATH:~/info:~/local/share/info
+export MANPATH=~/man:~/local/share/man:/usr/local/share/man:$MANPATH
+export INFOPATH=~/info:~/local/share/info:/usr/local/share/info:$INFOPATH
[ "$DEBUG" = "yes" ] && export LD_LIBRARY_PATH=${LD_LIBRARY_PATH:+$LD_LIBRARY_PATH:}~/libs
[ "$DEBUG" = "yes" ] && export PKG_CONFIG_PATH=${PKG_CONFIG_PATH:+$PKG_CONFIG_PATH:}~/pkgconfig