Respuestas:
Si el espacio final no está incluido en HISTTIMEFORMAT, entonces no tendrá un espacio entre la marca de tiempo y el comando. Aquí hay unos ejemplos:
HISTTIMEFORMAT="%F %T: "
Esto resulta en:
33916 2014-12-18 11:03:08: echo foo
Sin el espacio:
HISTTIMEFORMAT="%F %T:"
33916 2014-12-18 11:04:11:echo foo