関連ワード:  linux restart bash shell    how to restart bash shell    linux start bash shell    linux restart bash session    how to restart bash terminal    how to restart bash session    linux reload bash shell    how to restart shell linux    define bash shell