From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12469 invoked from network); 16 Aug 2001 02:18:24 -0000 Received: from sunsite.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 16 Aug 2001 02:18:24 -0000 Received: (qmail 12383 invoked by alias); 16 Aug 2001 02:18:15 -0000 Mailing-List: contact zsh-workers-help@sunsite.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 15636 Received: (qmail 12371 invoked from network); 16 Aug 2001 02:18:14 -0000 From: Bart Schaefer Message-Id: <1010816021631.ZM11091@candle.brasslantern.com> Date: Thu, 16 Aug 2001 02:16:30 +0000 In-Reply-To: <8829.997901396@csr.com> Comments: In reply to Peter Stephenson "Re: EOF exiting shell" (Aug 15, 7:49pm) References: <8829.997901396@csr.com> X-Mailer: Z-Mail (5.0.0 30July97) To: Peter Stephenson , zsh-workers@sunsite.dk (Zsh hackers list) Subject: Re: EOF exiting shell MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii On Aug 15, 7:49pm, Peter Stephenson wrote: } Subject: Re: EOF exiting shell } } Peter Stephenson wrote: } > > (although for me it never exits with IGNOREEOF set). } > } > Right, I suppose that's a real bug, although I don't know anything about } > its history. } } Any comments on this? Should I install the patch, giving the documented } behaviour? The history is reflected in the thread leading up to zsh-workers/12485. 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. -- Bart Schaefer Brass Lantern Enterprises http://www.well.com/user/barts http://www.brasslantern.com Zsh: http://www.zsh.org | PHPerl Project: http://phperl.sourceforge.net