Re: PATCH: exit after 10 EOF's

[Bart Schaefer <schaefer@brasslantern.com>]

On Thu, 16 Sep 2004, Peter Stephenson wrote:

> This should cover all bases.  The basic rule is that in ZLE ignore_eof
> means the EOF character is always treated as a normal key.

> I hope this makes fluffy bunnies gambol in the field.

Sorry, my bunnies are not gamboling, they're sharpening pitchforks and 
looking for torches.  This is a backwards-incompatible change, and I 
object to it.  The default behavior of ZLE on receiving an EOF character 
is supposed to be identical to the default behavior of 4.3BSD csh upon 
receiving an EOF character.  That is, either exit (when not ignoreeof) or 
print a warning (when ignoreeof) if the character is received at the start 
of an empty buffer.

Note that you CANNOT handle this with widgets, because "stty eof" is not
dependent on widget bindings.  The above behavior has to occur on receipt
of the tty eof character, even if that has been changed, without changing
(or requiring the user to change) the underlying keybindings.

> If you want any other behaviour you can use a widget.

No, you can't, see above.