Re: Bug#749969: history no longer syncs immediately, INC_APPEND_HISTORY broken

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Jun 4,  3:57pm, Han Pingtian wrote:
} Subject: Re: Bug#749969: history no longer syncs immediately, INC_APPEND_H
}
} I have just a quick idea for it :)
} 
} How about in this case, write the command into history first in the
} hend(), then rewrite the history in hbegin() after the commnad finished?

This would work only if we were guaranteed that no other zsh session
had manipulated the history file in the meantime.  Given that the only
reason to care how soon the command is written is because there *is*
another zsh session manipulating the file, this approach unfortunately
is probably not practical.

It'd be more practical if history was maintained as an actual database,
and maybe nobody cares any more that the history be readable as text or by
other shells ... but that's a pretty large change.