シェルの再起動

ずっとやりたかったことができた．

sourceは、シェルの環境設定ファイルである「~/.bash_profile」や「~/.bashrc」を変更して、すぐに（ログインしなおさずに）その設定で動作確認をする場合にしばしば使用される。例1で示したとおり、「bash ~/.bash_profile」などと実行しても、その結果が現在のシェルには反映されないからだ。