bashrc-linux: tidy-up 2