Re: Issue with history

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Thu, Mar 8, 2012 at 3:05 PM, François <aifsair@xxxxxxxxx> wrote:
> Thanks for your answer.
> FYI:
> $ type history
> history is a shell builtin
>
> What further information can I provide you?

Hmm.  Well, another possibility may be that you have several zsh
running that are sharing the same history file, but that don't have
the same set of history options so they're writing contradictory
formats or truncating the file in different ways.  There's at least
one oddball line in the zsh-history.txt file you posted at that would
suggest that is happening.  Try making sure that you've exited out of
all but one of your shells before changing history format or sharing
options.