Provavelmente, o bash está sendo lançado como um shell de login. Os shells de login não usam automaticamente o conteúdo de .bashrc
. Se você quiser, crie o arquivo ~/.profile
com este conteúdo:
[ -f $HOME/.bashrc ] && source $HOME/.bashrc
(como foi mencionado nas respostas a esta questão , embora não tenham sido relevantes para esse caso).