James's suggestion (comment 9) also worked for me -- thanks!
Note that the setting has to be in ~/.profile, not ~/.bash_profile.
Like Lars, I too am using a machine that was originally (many releases ago) a Ubuntu box.
James's suggestion (comment 9) also worked for me -- thanks!
Note that the setting has to be in ~/.profile, not ~/.bash_profile.
Like Lars, I too am using a machine that was originally (many releases ago) a Ubuntu box.