Hello,
What control the call to .bash_profile?
I am 2 machines and a different behavior while, I cannot see the
difference in the configuration.
Whether the shell is a "login shell", a login shell will source .bash_profile and a interactive shell will not.
On both machines .bash_profile is run in text terminal
But on one, it is also run in gnome-terminal
but not on the other one.
Gnome terminal has a option said "always run as login shell" or something like that. I am on my phone and can't remember it clearly, but you can switch if a gnome-terminal start bash as login shell.
I check the profile preferences, both are the same (command run: none checked).