Eu usaria o comando chsh
para ter certeza de que seu shell é realmente Bash; se seu shell for /bin/sh
em vez de /bin/bash
, o Bash irá imitar um shell histórico e não lerá ~/.bash_profile
.
De man bash
:
If bash is invoked with the name sh, it tries to mimic the startup behavior of historical versions of sh as closely as possible, while conforming to the POSIX standard as well. When invoked as an interactive login shell, or a non-interactive shell with the --login option, it first attempts to read and execute commands from /etc/profile and ~/.profile, in that order.
[...]
Since a shell invoked as sh does not attempt to read and execute commands from any other startup files, the --rcfile option has no effect.