10 Mar
2005
10 Mar
'05
7:10 a.m.
Thanks to Torsten Becker and Chris Thomas, I was able to get things working.
The BASH_ENV trick didn't help until I created and set TM's SHLVL variable to 1 (after reading a (cryptic) tip from Allan). I hope this helps someone else.
Best, Eric
On Mar 9, 2005, at 10:52 PM, Chris Thomas wrote:
Make a file in your home-dir, say .bash_env and have it contain: source /etc/profile source ~/.bash_profile
Then set TM's BASH_ENV variable to: ~/.bash_env