Por padrão, o gnome-terminal não inicia o bash como um shell de login (suponho que você esteja falando de bash iniciado dentro de um terminal gnome). Isso significa que o bash não lerá /etc/profile
ou ~/.profile
. Como você observou corretamente, o bash lerá esses arquivos se iniciado como um shell de login.
A solução rápida para o seu problema é configurar o gnome-terminal para iniciar o bash como um shell de login, para que ele leia /etc/profile
. Para fazer isso você tem que habilitar "Executar Comando como um shell de login" no gnome-terminal "Profile Preferences" acessível a partir do menu Editar.
Eu não recomendo fazer isso porque isso atrapalha a distinção entre ~/.profile
e ~/.bashrc
. Idealmente ~/.profile
deve fazer coisas que são necessárias apenas uma vez, durante o login, enquanto ~/.bashrc
deve fazer coisas que são necessárias toda vez que o bash é iniciado.
Há uma pergunta e resposta no superusuário falando sobre a diferença entre bashrc e perfil . Leia lá para mais informações.
A partir da descrição do seu problema, parece que o script rvm precisa ser carregado apenas uma vez, durante o login. Até onde sei, o Ubuntu configurou o login gráfico para ler /etc/profile/
e ~/.profile
. Isso significa que, depois de efetuar logout e login em uma vez, o script rvm deve estar ativo. Se ainda assim não funcionar, talvez o script rvm precise ser carregado para cada sessão bash. Se for esse o caso, bashrc
é o local mais apropriado para o script.