Make .bashrc.linux quiet