diff options
-rw-r--r-- | .bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index b8381b3..57ed40c 100644 --- a/.bash_profile +++ b/.bash_profile @@ -24,7 +24,7 @@ PS1_SSHD='$(E=$? && [ "$E" = 0 ] || echo "$E ")\[\e[0;32m\]\W\[\e[0m\] \[\e[0;32 [ -n "$SSH_CLIENT" ] && [ "$EUID" != 0 ] && export PS1="$PS1_SSHD"; # path exports -export PATH="$HOME/.local/bin:$PATH" +[ -z "$BASH_PROFILE" ] && export PATH="$HOME/.local/bin:$PATH" # general exports export CARGO_HOME="$XDG_CACHE_HOME/cargo" |