On Thu, 25 Jun 2020 at 13:00, Patrick Dupre <pdupre@gmx.com> wrote:
In both cases,
 
"Run commad as a login shell" is checked.

What does "ps -f" show for bash in each terminal?   

Does "echo $-" give a string that includes the letter "i" in each terminal?
 
Are you using some form of remote access for one of the machines?

 
Sent: Thursday, June 25, 2020 at 5:55 PM
From: "Qiyu Yan" <yanqiyu@fedoraproject.org>
To: "Community support for Fedora users" <users@lists.fedoraproject.org>
Subject: Re: .bash_profile
Patrick Dupre <pdupre@gmx.com> 于 2020年6月25日周四 下午10:40写道:
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).
-- 
George N. White III