diff options
author | mail_redacted_for_web | 2024-05-25 12:57:51 +0200 |
---|---|---|
committer | mail_redacted_for_web | 2024-05-25 12:57:51 +0200 |
commit | 47fb31b3896a63ddee824567460dc9e8ebf3eaa5 (patch) | |
tree | 42df27bc25134d8431de509a130f59a734737009 | |
parent | 1d5f4b8d45978071316e322fd186c0522daba0de (diff) | |
download | dotfiles-47fb31b3896a63ddee824567460dc9e8ebf3eaa5.tar.bz2 |
include ~/.local/bin as well, only include dirs that are descendible into
-rw-r--r-- | .bash/vars.bash | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.bash/vars.bash b/.bash/vars.bash index 773d75d..da222b1 100644 --- a/.bash/vars.bash +++ b/.bash/vars.bash @@ -18,9 +18,11 @@ SSHAGH+=( "woschd.example.com" ) export SSHAGH # ----- SHELL ----- # -for pa in "/usr/local/bin" "${HOME}/bin";do - if ! printf "%b" "$PATH"|grep -P "^${pa}:|:${pa}:" >/dev/null;then - export PATH="${pa}:${PATH}" +for pa in "/usr/local/bin" "${HOME}/bin" "${HOME}/.local/bin";do + if [ -x "$pa" ]; then + if ! printf "%b" "$PATH"|grep -P "^${pa}:|:${pa}:" >/dev/null;then + export PATH="${pa}:${PATH}" + fi fi done # $OSNAME |