bashrc-linux: tidy-up 3