From d43e776e331dba9db318a1ebc7c27bdf8790d3ee Mon Sep 17 00:00:00 2001 From: Aaron Bieber Date: Mon, 11 Jan 2021 10:31:18 -0700 Subject: [PATCH] zsh: do path management a bit better --- .zlogin | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.zlogin b/.zlogin index 8b122d5..1f8b282 100644 --- a/.zlogin +++ b/.zlogin @@ -4,13 +4,14 @@ if [ -d ~/src/plan9port ]; then fi export PLAN9 -PATH=$PATH:$PLAN/bin - if [ -d ~/opt/GNAT/2020/bin ]; then - PATH=$PATH:~/opt/GNAT/2020/bin + GNAT=~/opt/GNAT/2020 fi +export GNAT -PATH=$PATH:$HOME/go/bin:$HOME/bin +for p in "${HOME}/opt/bin" "${HOME}/opt/sbin" "${GNAT}/bin" "${PLAN9}/bin" "${HOME}/go/bin" "${HOME}/bin"; do + PATH="${PATH}:$p" +done export PATH