私のもの.bash_profile
。
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
インターネットのどこかで見つけたと思います。
PATH="$HOME/bin:$PATH"
ディレクトリが存在するかどうかを確認せずに書くだけで大丈夫でしょうか?存在しないパスを追加すると問題が発生しますか$PATH
?
答え1
一度試してみるのは簡単です。bash
存在しないディレクトリをPATHに追加しても文句はありません(ただし、明らかにそのディレクトリでもコマンドやスクリプトが見つかりません)。
後でディレクトリを作成し、その中に実行可能ファイルを保存すると、そのbash
ディレクトリを見つけることができます。
答え2
つまり、PATHで後続のパスをチェックする唯一の理由は、前のパスでファイルを検索中にエラーが発生したためです。したがって、エラーは問題を引き起こさず、実際には予想されるエラーです。