Hi, Hilmar Preusse <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
