Para fazer isso funcionar, adicione
if [ -f ~/.bashrc ]; then
. ~/.bashrc
fi
em ~/.bash_profile
Explicação :
Existem três arquivos principais que bash fontes dependendo de como o shell é gerado.
-
~/.bash_profile
- originado no modo de login interativo ou seja:- Faça login no console (Ctrl + Alt + F1..F6)
- Conectar via ssh
-
~/.profile
- originado pelo login gráfico ou seja:- Iniciando via gnome-session
-
~/.bashrc
- originado no modo interativo sem login ou seja:- Abrindo um terminal
Já que no seu caso, você está se conectando via ssh, por exemplo, o modo de login interativo, então o ~ / .bash_profile será gerado automaticamente, então você pode obter seu .bashrc de lá.