Re: [PATCH] EXTENDED_HISTORY documentation typo

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Oct 27,  6:12pm, Mikael Magnusson wrote:
} Subject: Re: [PATCH] EXTENDED_HISTORY documentation typo
}
} % history -dD
}     1  18:06  0:00  HISTFILE=/tmp/test
}     2  18:06  0:00  HISTSIZE=50
}     3  18:06  0:00  SAVEHIST=50
}     4  18:06  0:00  setopt incappendhist
}     5  18:06  0:00  setopt incappendhistory
}     6  18:06  0:00  cat /tmp/test
}     7  18:06  0:00  setopt extendedhistory
}     8  18:06  0:00  cat /tmp/test
}     9  18:06  0:05  sleep 5
}    10  18:07  0:00  cat /tmp/test
} 
} At first i thought maybe it's one of my local patches, but i get the
} same result on a remote host running 4.3.10.

This is exactly what I'd expect.  Zsh doesn't even bother storing the
time delta if extended history isn't set.  Hence you get the delta
at event 9 after having set the option at event 7.

There isn't a HIST_REVISIONIST option. :-)

-- 
Barton E. Schaefer