Hi, Hilmar Preusse <hille42@web.de> wrote: > Would it make sense to unset BASH_ENV too? Maybe, but I'm not sure. It is a work-around for a user error. It may be that some users have a good reason to use such a variable; they would be annoyed that it be disabled... -- Florent