# zshenv/01_path
#
# Functions to add custom directories to the $PATH
#
# Copyright © 2011-2013 Tobias Klauser <tklauser@distanz.ch>
# Copyright © 1994–2008 martin f. krafft <madduck@madduck.net>
# Released under the terms of the Artistic Licence 2.0
#
# Source repository: git://git.distanz.ch/dotfiles/zsh.git

path_prepend()
{
  local dir
  for dir; do
    case "$PATH" in
      "*:${dir}:*"|"${dir}:*"|"*:${dir}") :;;
      *) test -d "$dir" && path=("$dir" $path);;
    esac
  done
}

path_append()
{
  local dir
  for dir; do
    case "$PATH" in
      "*:${dir}:*"|"${dir}:*"|"*:${dir}") :;;
      *) test -d "$dir" && path+="$dir";;
    esac
  done
}

# add the paths here

path_prepend $HOME/bin

#path_append /opt/nios2/bin
#path_append /opt/nios2mmu/x86-linux2/bin
#path_prepend /opt/codesourcery/nios2-4.1-211/bin
#path_append /opt/codesourcery/arm-2010.09/bin
#path_append /opt/coverity/bin
#path_append /opt/linaro/gcc-linaro-arm-linux-gnueabihf/bin
#path_append /opt/sourceryg++-2014.05/bin

# vim:ft=zsh