Вообще, этот $PATH кто только не модифицирует. Насколько я понял, настройка переменных среды выглядит так:
- выполняются скрипты /etc/environment и /etc/profile
- выполняются скрипты *.sh из папки /etc/profile.d/
- если в домашнем каталоге пользователя есть скрипты ~/.bash_profile или ~/.bash_login, выполняются они
- если вышеуказанных скриптов нет, выполняется ~/.profile
Но вся эта кухня бесполезна в эмуляторе терминала, если не поставить галочку "Edit -> Preferences -> Run command as login shell".
