linux/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2025-12-26 02:12:33 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Adding mechanism for managing paths in a plugin.

Browse source 
* User creates a file (by default ~/.pathrc) which lists one
        directory per line, all of the directories which should
        make up his path. The file to use can be overridden with the
        PATHRC variable.
    * User creates a file (by default ~/.manpathrc) which lists one
        directory per line, all of the directories which should
        make up his manpath. The file to use can be overridden with the
        MANPATHRC variable.
This commit is contained in:
Michael Komitee 2011-01-15 14:55:46 -05:00
commit c641f7793c
1 changed files with 27 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

27
plugins/pathrc/pathrc.plugin.zsh Normal file
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