hjp
/
dot
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Don't set MANPATH 

All of this looks very obsolete, so I guess it's better to just rely on
man defaults.
This commit is contained in:
Peter J. Holzer 2020-04-16 22:33:34 +02:00
parent e65664fdf2
commit a72bbeda6b
1 changed files with 0 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
.zshenv
View File

@ -69,34 +69,6 @@ then
unsetopt NULL_GLOB unsetopt NULL_GLOB
fi fi
if [ -r /etc/MANPATH ]
then
MANPATH=`cat /etc/MANPATH`:$MANPATH
else
ALL_PATH=/usr/local/qmail/man:/usr/man:/usr/local/man:/usr/X11R6/man:/usr/share/man:/usr/local/pgsql/man:/var/qmail/man:/usr/local/rrdtool-1.0.35/man
NEW_PATH=""
for i in ${(s/:/)ALL_PATH}
do
if test -d "$i"
then
case "$NEW_PATH" in
$i:*|*:$i|*:$i:*) ;;
*)
if test -z "$NEW_PATH"
then
NEW_PATH=$i
else
NEW_PATH=$NEW_PATH:$i
fi
esac
fi
done
MANPATH=$NEW_PATH
fi
export MANPATH
case "`uname -sr`" in case "`uname -sr`" in
Linux*) Linux*)
export LC_COLLATE=POSIX export LC_COLLATE=POSIX