summaryrefslogtreecommitdiff
path: root/.zsh/zshenv/01_path
blob: 8e11d0878b01ad4010ef87046a6d143fe71642b2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
# 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