Eric Arnold wrote:
Off hand, I can't remember the exact name, but I think that there is a special rc filename that is executed even when it isn't a login shell.....
[...]
Yes, I think so too, and I don't remember it offhand either, but "man bash" (which is quite long for a manpage) will tell you.
Best regards, Tony.