~/.profile
não é usado apenas pelo bash, ele também é usado por outros shells posix. Quando você faz login graficamente no Ubuntu, ~/.profile
é originado por sh
, que não tem [[
ou source
.
EDITAR
Depois de um pouco de pesquisando sobre este material de RVM, parece que é um script bash, então mudar para a sintaxe posix sh não funciona; o script simplesmente não pertence a ~/.profile
.
Uma maneira de contornar isso pode ser a origem de ~/.bashrc
. A desvantagem disso é que, quaisquer que sejam as variáveis de ambiente que ele definir, só estarão disponíveis para os shells de bash. por exemplo. comandos que dependem dessas variáveis de ambiente não podem ser executados diretamente de um lançador.