Apunte rápido para que no se me olvide. De todos es conocido que cuando tecleas:
$ history
en la linea de comandos, se te muestra un listado con todos los comandos bash que hayas ejecutado hasta el momento. Pero, ¿a qué hora los ejecutaste? A veces esa información puede ser muy útil… El caso es que la marca de tiempo de ejecución de cada comando se guarda internamente en el historial, pero por defecto, no se muestra. ¡Ah! ¿Y cómo podemos mostrarla?
Fácil:
$ HISTTIMEFORMAT=’%F %T ‘
$ export HISTTIMEFORMAT
$ history
526 2009-06-11 00:06:04 man history
527 2009-06-11 00:06:42 man -a history
528 2009-06-11 00:09:51 HISTTIMEFORMAT=’%F %T ‘
529 2009-06-11 00:09:56 export HISTTIMEFORMAT
530 2009-06-11 00:10:08 history
¡tachaaaaaán!