blob: 43cf5255b011943fc4259e144d9688c3d1132018 (
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
46
47
|
# 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 /scratch/usr/local/bin
path_prepend /opt/local/bin
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
|
