linux: How to restart a linux bash/csh shell session
Normally, when you modified the user profile file, you need to log out the current shell and login it again so that the modification will take in affect. but if there is a way that I do not need to logout the current shell so that shell session can be restarted. This post will show you that how to restart a linux bash shell session without doing logout current shell.
You need to issue the following command:
source $HOME/.profile source $HOME/.bash_profile
Those above two initialization file will be executed and also the modification will be take effect.
Also if you modify the .bashrc file, you also can follow the above ways, issue the following command:
source $HOME/.bashrc
done…