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 | |
parent | 7af3aa80ee4f7f8bb2b6ad750274144c40eeda58 (diff) |
Add path setting configuration
-rw-r--r-- | .zsh/zshenv/00_dirs | 16 | ||||
-rw-r--r-- | .zsh/zshenv/01_path | 37 |
2 files changed, 53 insertions, 0 deletions
diff --git a/.zsh/zshenv/00_dirs b/.zsh/zshenv/00_dirs new file mode 100644 index 0000000..46c4708 --- /dev/null +++ b/.zsh/zshenv/00_dirs @@ -0,0 +1,16 @@ +# zshenv/00_dirs +# +# Store some often used directory paths in variables +# +# Copyright © 2010 Tobias Klauser <tklauser@distanz.ch> +# Released under the terms of the Artistic Licence 2.0 +# +# Source repository: git://git.distanz.ch/dotfiles/zsh.git +# + +export BINDIR=$HOME/bin +export NIOS2NOMMUBINDIR=/opt/nios2/bin +export NIOS2MMUBINDIR=$HOME/src/nios2-linux/toolchain-mmu/x86-linux2/bin +export ALTERADIR=/opt/altera9.1 + +# vim:ft=zsh 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 |