Luis writes: > That does answer my question, but it did not work, likely because I have > $BASH_ENV set to my .bashrc.. Why? -- John Hasler