diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2016-01-27 13:08:08 +0100 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2016-01-27 13:08:08 +0100 |
| commit | 6d971f2569da42ebcaf49e49e94498d458a17aca (patch) | |
| tree | 779d43a599c3ea0f502a893e6ef173955d456f63 /.zsh/zshenv/01_path | |
| parent | c579cbd96735937a064c2d2e76b717474909f750 (diff) | |
zshenv: Adjust scratch binary path
Diffstat (limited to '.zsh/zshenv/01_path')
| -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 |