If you have ever had this issue where changes to your .bash_profile do not take effect the next time you launch the gnome-terminal. Well, do not worry. Just open the gnome-terminal and go to Edit -> Profile Preferences _> Title and Command (tab), and you will see this:
Make sure that the "Run commnad as a login shell" is checked. Then close, and close the terminal, and relaunch gnome-terminal, and you should see that your .bash_profile has been executed.
Hope that helps.