Вы на самом деле используете bash?
echo $0 должен сказать вам это. Кроме того, попробуйте exportING $PATH( export PATHпосле PATH=…). Чтобы быть уверенным, что ваш файл ~/.bash_profileдействительно читается в вашей оболочке, вы можете вставить что-то вроде
echo "now sourcing ~/.bash_profile" где-то в этом.
Примечание: ~/.bash_profile читается только если bash запущен как оболочка входа в систему . Если вы пытаетесь изнутри xtermили около того, он не может быть прочитан, так как большинство эмуляторов терминала настроены так, чтобы не действовать как оболочка входа. В этом случае отредактируйте ~/.bashrc.