.bash_profile is only sourced by bash when started in login mode (opening a log in consola with ctrl + alt + F1...), connected via ssh or use sudo -i or su - to run commands as another user.
.profile will be loaded by the script that launch gnome-session when you log in graphically.
.bashrc will be loaded when you open a terminal, because it starts in non-login interactive mode.
.bash_profile should source .bashrc.
📌 DotFiles