What does echo $PATH
output?
Personally I can never remember the difference
between .bash_login, .bash_profile, .bash_rc etc...
In 10.5 at least there is another mechanism:
if you create a file in /etc/paths.d containing the path you want then
that will be added to the search list.
Hi Fred, seems like our comments have crossed each other. Still in the
high name of knowledge sharing here's the answer:
$ echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11/bin:/opt/local/bin
$ which git
/usr/local/bin/git
Thanks for the tip with /etc/paths.d. I was initially also taken aback
by the ~/.bash_login file, because on my machine there's a file at root
level named #.bash_profile# . When I cat this file, nothing comes out of
it. Yet when I open it in a text program the contents are the same as in
the (hidden!) ~/.bash_login file! What most strange is when I do a ls -a
BOTH these files are displayed: