As far as my knowledge goes, this is not a bug, but exactly what bash (or any shell in an X terminal emulator) is supposed to do. .bash_profile is only sourced on login, not when starting a new shell. To influence the environment of interactive shell sessions, use .bashrc
-- gnome-terminal not started as an "interactive shell" https://bugs.launchpad.net/bugs/250000 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
