Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: IGNORE_EOF

X-seq: zsh-users 6912
From: Miek Gieben <miekg@xxxxxxxxx>
To: zsh users <zsh-users@xxxxxxxxxx>
Subject: Re: IGNORE_EOF
Date: Wed, 17 Dec 2003 12:32:00 +0100
In-reply-to: <20031217112911.GA28517@xxxxxxxxx>
Mail-followup-to: zsh users <zsh-users@xxxxxxxxxx>
Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
References: <20031217112911.GA28517@xxxxxxxxx>

[On 17 Dec, @12:29, zsh wrote in "IGNORE_EOF ..."]
> Hello,
> 
> I found this message in the archives with the subject: "IGNORE_EOF like in
> bash", and the proposed (and updated function from Bart) works ok. But
> I was wondering, will there ever be a IGNORE_EOF=3 ala bash in zsh?

to clarify, sometimes, when you do something trivial you want to exit
with a couple of ^D's.

grtz Miek

References:
- IGNORE_EOF
  - From: Miek Gieben

Messages sorted by: Reverse Date, Date, Thread, Author