bashrc file for configuring terminal as used at work.