Jun 14 2009
∞
“ Have you checked in the current profile of gnome-terminal the option “Run command as a login shell” ? If this is not enabled, I think ~/.bash_profile is not loaded.
— how to get .bash_profile sourced when launching Terminal in Ubuntu: Ubuntu question #1770: “configure the .bash_profile”
