summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Klauser <tklauser@distanz.ch>2010-12-27 12:41:41 +0100
committerTobias Klauser <tklauser@distanz.ch>2010-12-27 12:41:41 +0100
commit8af38e92e03760c27ad02dc939db70d20250b7cd (patch)
tree0fb8df57901223c36e56d8a7f6e43652a248793f
parent7af3aa80ee4f7f8bb2b6ad750274144c40eeda58 (diff)
Add path setting configuration
-rw-r--r--.zsh/zshenv/00_dirs16
-rw-r--r--.zsh/zshenv/01_path37
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