From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6261 invoked from network); 26 Jun 2000 09:54:30 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 26 Jun 2000 09:54:30 -0000 Received: (qmail 5349 invoked by alias); 26 Jun 2000 09:54:22 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 12071 Received: (qmail 5342 invoked from network); 26 Jun 2000 09:54:21 -0000 Date: Mon, 26 Jun 2000 11:54:09 +0200 (MET DST) Message-Id: <200006260954.LAA19595@beta.informatik.hu-berlin.de> From: Sven Wischnowsky To: zsh-workers@sunsite.auc.dk CC: Christoph Lange In-reply-to: Christoph Lange's message of Fri, 23 Jun 2000 16:41:32 +0200 (CEST) Subject: Re: [Suggestion] IGNORE_EOF like in bash Christoph Lange wrote: > Hi there, > > I suggest that the IGNORE_EOF shell option should be implemented in the > same way as in bash. There, it is a shell variable rather than an option. > The best explanation is given in the bash manual page: > > ... > > The advantage is that a user can set that variable to 3, for example, to log > out after three presses of ^D. I doubt that we'll change options to parameters any time soon (or ever). One more reason for putting more of zle in shell code and using styles there... > If you should not like to hard-code it into the shell, you should consider > the following workaround: the shell must not catch ^D on an empty command > line before any invocation of a zle widget. If ^D on an empty command is > passed to zle, too, users can write their own zle widget which ignores it, > let's say 3 times, and then logs out. That's rather irritating, indeed. Can anyone see a reason to not change it? Bye Sven -- Sven Wischnowsky wischnow@informatik.hu-berlin.de