diff options
Diffstat (limited to '.zsh/zshenv/01_path')
| -rw-r--r-- | .zsh/zshenv/01_path | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/.zsh/zshenv/01_path b/.zsh/zshenv/01_path new file mode 100644 index 0000000..daa2511 --- /dev/null +++ b/.zsh/zshenv/01_path @@ -0,0 +1,37 @@ +# zshenv/01_path +# +# Adds custom directories to the $PATH +# +# Copyright © 1994–2008 martin f. krafft <madduck@madduck.net> +# Released under the terms of the Artistic Licence 2.0 +# +# Source repository: git://git.madduck.net/etc/zsh.git +# + +__prepend_dir_to_path() +{ + local dir + for dir; do + case "$PATH" in + "*:${dir}:*"|"${dir}:*"|"*:${dir}") :;; + *) test -d "$dir" && path=("$dir" $path);; + esac + done +} + +__append_dir_to_path() +{ + local dir + for dir; do + case "$PATH" in + "*:${dir}:*"|"${dir}:*"|"*:${dir}") :;; + *) test -d "$dir" && path+="$dir";; + esac + done +} + +__prepend_dir_to_path $BINDIR +__append_dir_to_path $NIOS2NOMMUBINDIR +__append_dir_to_path $NIOS2MMUBINDIR + +# vim:ft=zsh |