Add a plugin to help manage path and manpath

* set path based on contents of a PATHRC file defaulting to .pathrc
    PATHRC file should have one directory per line to set the path
* set manpath based on contents of a MANPATHRC file defaulting to .manpathrc
    MANPATHRC file should have one directory per line to set the manpath
This commit is contained in:
Michael Komitee 2011-01-08 23:21:15 -05:00
commit 124efa84cf

View file

@ -0,0 +1,27 @@
# If there is no PATHRC already set, default to ~/.pathrc
if [ -z "$PATHRC" ]; then
PATHRC=$HOME/.pathrc
fi
# Similarly, MANPATHRC defaults to ~/.manpath
if [ -z "$MANPATHRC" ]; then
MANPATHRC=$HOME/.manpathrc
fi
# Set the PATH
if [ -f $PATHRC ]; then
path=()
typeset -U path
for dir in $(<$PATHRC); do
path+=($dir)
done
fi
# Set the MANPATH
if [ -f $MANPATHRC ]; then
manpath=()
typeset -U manpath
for dir in $(<$MANPATHRC); do
manpath+=($dir)
done
fi