コマンド
source
ファイルに書かれたコマンドを実行する。csh・tcsh・bash 内部コマンド
source hoge とするのは、ファイル hoge に書かれた文字列を一つずつ自分の手でタイプしたのと同じことである。
例えば、~/.cshrc を書き変えたあと、その設定を有効にするためには、ログインしなおさずに
とすると便利。
としてしまうと、新しいシェルが起動してしまう。
なお、bash の内部コマンドにも source コマンドが用意されている。
で、~/.bash_profile の内容が現在実行中の bash に反映される。ただし sh には source コマンドはない。
のように `.' (ドット) という内部コマンドを使うこと。