Ele está iniciando o shell como um shell de login não interativo para processar ~/.profile
e não ~/.bashrc
. Você pode definir seu PATH
nesse arquivo ou fazê-lo em um arquivo comum que os dois usam. Algumas pessoas / distribuições definem um arquivo de inicialização para criar o outro, mas eu não recomendo isso.
De man bash
:
When bash is invoked as an interactive login shell, or as a non-interactive shell with the --login option, it first reads and executes com‐ mands from the file /etc/profile, if that file exists. After reading that file, it looks for ~/.bash_profile, ~/.bash_login, and ~/.profile, in that order, and reads and executes commands from the first one that exists and is readable. The --noprofile option may be used when the shell is started to inhibit this behavior.