From 8af38e92e03760c27ad02dc939db70d20250b7cd Mon Sep 17 00:00:00 2001 From: Tobias Klauser Date: Mon, 27 Dec 2010 12:41:41 +0100 Subject: Add path setting configuration --- .zsh/zshenv/00_dirs | 16 ++++++++++++++++ .zsh/zshenv/01_path | 37 +++++++++++++++++++++++++++++++++++++ 2 files changed, 53 insertions(+) create mode 100644 .zsh/zshenv/00_dirs create mode 100644 .zsh/zshenv/01_path 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 +# 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 +# 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 -- cgit v1.2.3-54-g00ecf