On 2006-05-23, Gerald Lai <[EMAIL PROTECTED]> wrote:
> On Wed, 24 May 2006, A.J.Mechelynck wrote:
> 
> > 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.
> 
> Perhaps it's called ".bashenv"? Not sure. I use ZSH. It's equivalent is 
> ".zshenv".

Eric was right:  it's the $BASH_ENV environment variable and setting 
it as he suggested should do the trick.

Gary

-- 
Gary Johnson                 | Agilent Technologies
[EMAIL PROTECTED]     | Wireless Division
                             | Spokane, Washington, USA

Reply via email to