From 4ab24d70c92b87d84ea9631e0255579bed225244 Mon Sep 17 00:00:00 2001 From: Hugues Hiegel Date: Tue, 26 May 2009 18:17:25 +0200 Subject: [Env] man & info paths update, with best priority to local man/info pages --- 10_Environment.zsh | 4 ++-- 1 file 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 -- cgit v1.2.3