По моему у ~/.profile
меня есть последний блок, который должен загрузить мои личные, bin/ directory
как это:
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
Но, похоже, не загружено:
echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
Почему это не работает? (Моя оболочка bash.)
Редактировать для тигра
echo $0 => bash
echo $HOME => /home/student
whoami => student
less /etc/*-release =>
PRETTY_NAME="Debian GNU/Linux 9 (stretch)"
NAME="Debian GNU/Linux"
VERSION_ID="9"
VERSION="9 (stretch)"
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"
-x
флаг, переданный bash и увидев, где PATH сброшен. Также вам необходимо export PATH="$HOME/bin:$PATH"
предоставить его для последующих процессов.
.profile
см. Askubuntu.com/questions/284640 .