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

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Apr 25,  9:35am, Peter Stephenson wrote:
}
} On Thu, 24 Apr 2014 22:02:32 -0700
} Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
} > However, this would mean that every zsh that is accessing the same
} > HISTFILE has to be using the same locking options.  Is that OK?
} 
} It's fairly easy to get inconsistent shell options, however.  I suppose
} we could think about simple tests to see if it looks like it's been
} locked a different way and print a warning.

That shouldn't be too difficult code-wise, but will require calling
lstat() on the .LOCK file name (ignoring failure thereof).

I'm going to go ahead and commit 32580 while we think about it.