2012年9月16日日曜日

ユーザー用の bin/ を作って $PATH に登録しようとしたら...

Ubuntu 10.04 Server ですが、ユーザー用の ~/bin/ ディレクトリを作って、$PATH に登録しようと思い ~/.profile を開いてみたら
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi
ってすでに書いてありました。
~/bin/ ディレクトリ作るだけで次回ログイン時から $PATH に登録されます。

ログインし直さずに $PATH に反映させるなら
$ source ~/.profile
かな。

0 件のコメント:

コメントを投稿