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).



Thanks

===========================================================================
 Patrick DUPRÉ                                 | | email: pdupre@gmx.com
 Laboratoire interdisciplinaire Carnot de Bourgogne
 9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
 Tel: +33 (0)380395988
===========================================================================
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-leave@lists.fedoraproject.org
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org