Keep timestamp in Bash history

dotfiles/bash/main.bashrc

@@ -414,6 +414,7 @@ HISTIGNORE="$HISTIGNORE:reset"
 HISTIGNORE="$HISTIGNORE:se *:sc *"
 HISTSIZE=-1
 HISTFILESIZE=100000
+HISTTIMEFORMAT='%F %T '
 GLOBIGNORE=.:..
 shopt -s histverify