bashrc: trivial