[eluser]Manu Chao[/eluser]
Yes, it works. Thanks a lot.
I have:
.bash_profile
.bashrc
.bashrc.save
.bashrc.txt
.bashrc_history
.profile
All have some 'export' entries in them. I guess some house-cleaning would be on order. My system dates back to 10.0.4, OS upgrades and migration assistant ensured a rich history of configuration files :
.
Anything in there I really need, on top of the one .profile file?