diff options
| -rw-r--r-- | .zsh/zshenv/01_path | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.zsh/zshenv/01_path b/.zsh/zshenv/01_path index 6a4b863..8c299be 100644 --- a/.zsh/zshenv/01_path +++ b/.zsh/zshenv/01_path @@ -34,14 +34,13 @@ path_append() # add the paths here path_prepend $HOME/bin -#path_append /opt/nios2-new/bin path_prepend /opt/local/bin +path_prepend /scratch/local/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/android-sdk-linux_86 path_append /opt/cov-analysis-linux64-7.6.0/bin path_append /opt/linaro/gcc-linaro-arm-linux-gnueabihf/bin path_append /opt/sourceryg++-2014.05/bin |