diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2010-12-27 12:41:41 +0100 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2010-12-27 12:41:41 +0100 |
| commit | 8af38e92e03760c27ad02dc939db70d20250b7cd (patch) | |
| tree | 0fb8df57901223c36e56d8a7f6e43652a248793f /.zsh/zshenv/01_path | |
| parent | 7af3aa80ee4f7f8bb2b6ad750274144c40eeda58 (diff) | |
Add path setting configuration
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 |