.profile
e .bash_profile
são arquivos originados pelo bash quando executados como um shell de login, como ao efetuar login a partir do console do Linux Text ou usando o SSH. Eles não são originados ao carregar um novo shell a partir de um login existente, como ao abrir uma nova janela de terminal dentro do Unity ou outro ambiente gráfico. Por outro lado, .bashrc
é originado apenas para shells que não são de login, embora às vezes as distros obtenham .bashrc
manualmente a partir do padrão .bash_profile
. Uma solução alternativa é alterar o Gnome Terminal para carregar o shell como um shell de login a partir de suas preferências de perfil, mas isso seria executado toda vez que você abrir uma nova janela de terminal. Outra opção é adicioná-lo à lista de aplicativos de inicialização, como sugerido por @jrg.