Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [Suggestion] IGNORE_EOF like in bash
- X-seq: zsh-workers 12071
- From: Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxxxxxx
- Subject: Re: [Suggestion] IGNORE_EOF like in bash
- Date: Mon, 26 Jun 2000 11:54:09 +0200 (MET DST)
- Cc: Christoph Lange <langec@xxxxxx>
- In-reply-to: Christoph Lange's message of Fri, 23 Jun 2000 16:41:32 +0200 (CEST)
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
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@xxxxxxxxxxxxxxxxxxxxxxx
Messages sorted by:
Reverse Date,
Date,
Thread,
Author