関連ワード:  how to reload bash linux    how to reload bashrc linux    how to restart bash linux    how to reload bash shell    how to reload bash_profile in linux    how to restart bash shell    how to refresh bash shell    how to reload shell linux