Dear Michael,

> You could change
>
> #! /bin/bash
>
> to
>
> #! /bin/bash --norc

That does answer my question, but it did not work, likely because I
have $BASH_ENV set to my .bashrc..

Thanks!

Luis

Reply via email to