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