11 Mar
2012
11 Mar
'12
11:08 p.m.
Heiko Baums <lists@baums-on-web.de> writes:
Am Sun, 11 Mar 2012 21:18:43 +0800 schrieb XeCycle <xecycle@gmail.com>:
Aren't you supposed to edit ~/.profile by hand?
Isn't the correct file to set such environment variables locally ~/.bash_profile resp. ~/.bashrc?
Not everyone uses bash as the default shell, you can also source ~/.profile in your bash_profile if you like. -- Carl Lei (XeCycle) Department of Physics, Shanghai Jiao Tong University OpenPGP public key: 7795E591 Fingerprint: 1FB6 7F1F D45D F681 C845 27F7 8D71 8EC4 7795 E591