Minor changes to bashrc.mine file.
Committed