Andrei Popescu wrote:
# ~/.bash_profile: executed by bash(1) for login shells. Set gnome-terminal to use a login shell.
Doh! Thanks.