"According to the bash man page, .bash_profile is executed for login shells, while .bashrc is executed for interactive non-login shells."
Josh Staiger: .bash_profile vs. .bashrc