> --- Ursprüngliche Nachricht --- > Von: Luis Finotti <[EMAIL PROTECTED]> > You've got it: > > babbage[~/tmp]% echo $BASH_ENV > /home/finotti/.bashrc > > This is set in the default ".bash_profile" here (at work). I've never > changed it. So, that is not the usual case? What is the usual value? I think BASH_ENV is unset by default. It allows you to have a common initialisation file for every non-interactive bash invokation. Setting it to the same rc file as for interactive shells should be a call for trouble IMHO. Regards, Roland PS: from man bash --> When bash is started non-interactively, to run a shell script, for example, it looks for the variable BASH_ENV in the environ‐ ment, expands its value if it appears there, and uses the expanded value as the name of a file to read and execute. --> Bash behaves as if the following command were executed: if [ -n "$BASH_ENV" ]; then . "$BASH_ENV"; fi
-- Telefonieren Sie schon oder sparen Sie noch? NEU: GMX Phone_Flat http://www.gmx.net/de/go/telefonie -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]