Quote:
Originally Posted by reverse
Is your terminal making your shell source /etc/profile?
|
Oh, I found out that the /etc/profile gets executed during logging. BUT the line:
source "some other source file"
or
. "some other source file"
won't get executed.
Even if I put them into $HOME/.bash_profile, the result was the same. However it got executed when it appears in /etc/bashrc or $HOME/.bashrc.
WHY??? Can't figure out what's going wrong.