I wasn't aware that environment setup shouldn't go into .bashrc, but into
.profile. Good to know, thank you!
Here's how I have it now:
#
# ~/.profile
#
path_prefixes=(
~/.local/bin
~/.cargo/bin
/opt/cuda/bin
)
export PATH="$(printf "%s:" "${path_prefixes[@]}")$PATH"
#
# ~/.bash_profile
#
[[ -r ~/.profile ]] && . ~/.profile
[[ -r ~/.bashrc ]] && . ~/.bashrc
Galdor
