some personally convenient .bashrc entries