Re: EOF exiting shell

[Peter Stephenson <pws@xxxxxxx>]

Bart Schaefer wrote:
> An EOF generated by ^D never used to get to ZLE at all, and this was
> deemed annoying because it meant you couldn't override it with a user-
> defined widget.
> 
> So 12485 changed it to be handled by zle, but then if you DON'T have a
> user-defined widget, it never exits.
> 
> I haven't checked your patch to see how it interacts with user-defined
> widgets bound to the EOF character.  As long as it doesn't revert us back
> to the days when that wasn't possible, you can probably apply it.

It works at present so that you get the EOF behaviour if the widget
failed, which means returned non zero status for a builtin widget.

But if the current behaviour is good enough to make sure the shell exits
when the tty goes away (because the read should fail) then it's an
unnecessary complication.  Maybe the documentation could be reworded, since
the `exit after ten EOFs' is not now the behaviour most users will see.

-- 
Peter Stephenson <pws@xxxxxxx>                  Software Engineer
CSR Ltd., Unit 300, Science Park, Milton Road,
Cambridge, CB4 0XL, UK                          Tel: +44 (0)1223 392070


**********************************************************************
The information transmitted is intended only for the person or
entity to which it is addressed and may contain confidential 
and/or privileged material. 
Any review, retransmission, dissemination or other use of, or
taking of any action in reliance upon, this information by 
persons or entities other than the intended recipient is 
prohibited.  
If you received this in error, please contact the sender and 
delete the material from any computer.
**********************************************************************