add HISTTIMEFORMAT for .bashrc