Risposte:
Se lo spazio finale non è incluso in HISTTIMEFORMAT, non sarà presente uno spazio tra il timestamp e il comando. Ecco alcuni esempi:
HISTTIMEFORMAT="%F %T: "
Questo risulta in:
33916 2014-12-18 11:03:08: echo foo
Senza lo spazio:
HISTTIMEFORMAT="%F %T:"
33916 2014-12-18 11:04:11:echo foo