Você está realmente usando bash
?
echo $0
deve lhe dizer isso. Experimente também export
ing $PATH
( export PATH
após PATH=…
). Para ter certeza de que seu ~/.bash_profile
é realmente lido em seu shell, você poderia inserir algo como
echo "now sourcing ~/.bash_profile"
em algum lugar.
Nota: ~/.bash_profile
é lido apenas se o bash for iniciado como shell login . Se você estiver tentando de um xterm
, talvez não seja lido, pois a maioria dos emuladores de terminal está configurada para não agir como shell de login. Neste caso, edite ~/.bashrc
.