diff options
| -rw-r--r-- | .zsh/zshenv/01_path | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.zsh/zshenv/01_path b/.zsh/zshenv/01_path index c68c3fe..e9ec206 100644 --- a/.zsh/zshenv/01_path +++ b/.zsh/zshenv/01_path @@ -35,7 +35,7 @@ path_append() path_prepend $HOME/bin path_prepend /opt/local/bin -path_prepend /scratch/local/bin +path_prepend /scratch/usr/local/bin path_append /opt/nios2/bin path_append /opt/nios2mmu/x86-linux2/bin |