Adendum: Usted puede usar el comando history
sí para traducir marcas de tiempo se encuentran en la historia de los archivos guardados, así:
Las opciones del comando history
como se explica por Nicholas Riley aplicar del mismo modo que a los archivos del historial guardado, por lo history -d < historyfile
(o cualquiera de las otras opciones) traduce las marcas de tiempo muy bien.
Esto es útil si está usando más de un archivo de historial. Configuré zsh
para mantener un archivo de historial por unidad para evitar mezclar historiales de shells que se ejecutan en paralelo en el mismo sistema (ya que cada uno window/screen/... es particular para una tarea determinada, y por lo tanto las historias que emergen del uso normal terminan en una especie de tema).
Tengo curiosidad sobre lo que es el segundo entero (siempre es 0). ¿Qué representa este número? –