仙人の心得

ログイン時に読み込む設定を変更したとき、それがどのシェルで読み込まれているか解っていればsourceコマンドで反映できる source ~/.bashrc 解らないときは/etc/profileを実行すれば、bash起動時の処理が行われる。 再ログインが必要な設定は大抵これでいけるはず。 source /etc/profile