Memo to self: bash profile is in /etc/profile. Not anywhere else, they don’t work. No idea why. But next time you need to alter your $PATH – it’s there.
bash
/etc/profile
$PATH
~/.profile not working for you?
Nope. ~/.profile makes not a blind bit of difference. Chris-at-work suggests using ~/.bashrc , which I’ll certainly give a shot…
Bizarre. I keep all my PATH stuff in ~/.profile. Is this for stuff you’re doing through the Terminal directly, or for other processes?
Oh, this is for both. I’d added mysql to the path ages ago; this was to add DarwinPorts.
mattw | 20 Mar 2006
~/.profile not working for you?
Tom | 20 Mar 2006
Nope. ~/.profile makes not a blind bit of difference. Chris-at-work suggests using ~/.bashrc , which I’ll certainly give a shot…
mattw | 20 Mar 2006
Bizarre. I keep all my PATH stuff in ~/.profile. Is this for stuff you’re doing through the Terminal directly, or for other processes?
Tom | 20 Mar 2006
Oh, this is for both. I’d added mysql to the path ages ago; this was to add DarwinPorts.