On 11/30/24 17:02, Bitfox wrote: > If /etc/profile and home dir’s .bash_profile have included the same command > but with different arguments. Which one will be used then? Thank you.
I think /etc/profile gets called first, but this is definitely a time for a diagnostic echo or two.
