bashrc-linux: tidy-up and remove redundancies