私~/.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を参照してください。