zsh-workers
 help / color / mirror / code / Atom feed
* zsh 3.0.0 - ^D does not exit shell
@ 1996-08-25 22:53 Sven Guckes
  1996-08-26  0:08 ` Zoltan Hidvegi
  1996-08-29  8:44 ` Bart Schaefer
  0 siblings, 2 replies; 3+ messages in thread
From: Sven Guckes @ 1996-08-25 22:53 UTC (permalink / raw)
  To: zsh-workers

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


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~1996-08-29  8:48 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-08-25 22:53 zsh 3.0.0 - ^D does not exit shell Sven Guckes
1996-08-26  0:08 ` Zoltan Hidvegi
1996-08-29  8:44 ` Bart Schaefer

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).