Update bashrc_git
Update bashrc
Update bashrc
Update bashrc_git
Update bashrc_git
Update bashrc_git
Update bashrc_git
Back-merging
Merge branch 'master' into moreverctrl

Used to avoid later bugs.