From a6c1beeee17dbc23a44da584aebb003e0988325f Mon Sep 17 00:00:00 2001 From: Tobias Klauser Date: Tue, 11 Aug 2015 09:25:07 +0200 Subject: zshenv: Add /scratch/local/bin to $PATH --- .zsh/zshenv/01_path | 3 +-- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3-54-g00ecf