My favorite .bashrc