Very simple .bashrc, mostly for dropping on remote servers