From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from euclid.skiles.gatech.edu (list@euclid.skiles.gatech.edu [130.207.146.50]) by coral.primenet.com.au (8.7.5/8.7.3) with ESMTP id IAA06245 for ; Mon, 26 Aug 1996 08:58:21 +1000 (EST) Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id SAA17267; Sun, 25 Aug 1996 18:54:57 -0400 (EDT) Resent-Date: Sun, 25 Aug 1996 18:54:57 -0400 (EDT) Message-Id: Date: Mon, 26 Aug 1996 00:53:24 +0200 From: guckes@math.fu-berlin.de (Sven Guckes) To: zsh-workers@math.gatech.edu Subject: zsh 3.0.0 - ^D does not exit shell X-Mailer: Mutt 0.41 Mime-Version: 1.0 X-Mailer-Info: http://www.math.fu-berlin.de/~guckes/mutt/ Resent-Message-ID: <"qoAzV1.0.jD4.1dD8o"@euclid> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/2071 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu Hi! I noticed that the zsh does not exit when I press ^D. IGNORE_EOF has *not* been set and I type in ^D right at the beginning. However, the zsh tried to expand some non-existent command and asks me "zsh: do you wish to see all 2667 possibilities?". It does not happen always, eg right after starting the zsh it does work. I could not find a situation where it will always happen. This has bugged me for a long time and I assume that this must be known. If this is mentioned in some FAQ then please point me at it. Thank you! Sven