Antworten:
Wenn das nachfolgende Leerzeichen nicht in HISTTIMEFORMAT enthalten ist, steht zwischen dem Zeitstempel und dem Befehl kein Leerzeichen. Hier sind einige Beispiele:
HISTTIMEFORMAT="%F %T: "
Das führt zu:
33916 2014-12-18 11:03:08: echo foo
Ohne das Leerzeichen:
HISTTIMEFORMAT="%F %T:"
33916 2014-12-18 11:04:11:echo foo