Re: zsh got stuck without any message because of history lock file

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Apr 24,  6:48pm, Andreas wrote:
} Subject: zsh got stuck without any message because of history lock file
}
} My zsh got stuck without any error message, because the 
} ~/.zsh-history.LOCK file wasn't deleted after a system crash.

The history mechanism should time out on lock attempts after a few
seconds ... oh.  Was the system clock perhaps wrong, or did the crash
result in a lock file with a timestamp in the future?

The way the code is currently written the shell will wait until 10
seconds after the modification time stamp of the file.  If for some
reason the time stamp is wrong (clocks out of sync with NFS server,
for example) then it may end up waiting for longer.

This should get fixed.