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

* Re: zsh 3.0.0 - ^D does not exit shell
  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
  1 sibling, 0 replies; 3+ messages in thread
From: Zoltan Hidvegi @ 1996-08-26  0:08 UTC (permalink / raw)
  To: Sven Guckes; +Cc: 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?".

Perhaps ^D is not set to eof on your tty.  Use stty eof '^D'.

Zoltan


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

* Re: zsh 3.0.0 - ^D does not exit shell
  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
  1 sibling, 0 replies; 3+ messages in thread
From: Bart Schaefer @ 1996-08-29  8:44 UTC (permalink / raw)
  To: Sven Guckes, zsh-workers

On Aug 26, 12:53am, Sven Guckes wrote:
} Subject: zsh 3.0.0 - ^D does not exit shell
}
} I noticed that the zsh does not exit when I press ^D.
} 
} 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.

The most likely cause is that you are running another program, such as a
text editor, which intends to temporarily reset the TTY characterstics
and accidentally clobbers the EOF character in the process.

This is an extremely easy mistake for programmers to make, because the
termio and termios implementations on many systems overload an array
in the terminal-driver structure such that the EOF character position
doubles as the is-input-timeout-active boolean; so EOF frequently ends
up being set to 1 (control-A) or 0 (control-space or control-@).  Zsh
itself had this bug at one time (but hasn't since 2.4.something).

The workaround is to use the zsh `ttyctl -f' builtin to cause zsh to
forcibly reset your terminal driver whenever it prompts for input.
This prevents such external programs from permanently messing up your
tty settings.

-- 
Bart Schaefer                             Brass Lantern Enterprises
http://www.well.com/user/barts            http://www.nbn.com/people/lantern

New male in /home/schaefer:
>N  2 Justin William Schaefer  Sat May 11 03:43  53/4040  "Happy Birthday"


^ 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).