.bashrc: rm should be interactive given that I mostly use /bin/rm