From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: zsh-workers-request@euclid.skiles.gatech.edu Received: from euclid.skiles.gatech.edu (list@euclid.skiles.gatech.edu [130.207.146.50]) by coral.primenet.com.au (8.7.6/8.7.3) with ESMTP id OAA00286 for ; Fri, 22 Nov 1996 14:10:29 +1100 (EST) Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id WAA07988; Thu, 21 Nov 1996 22:07:25 -0500 (EST) Resent-Date: Thu, 21 Nov 1996 21:57:18 -0500 (EST) From: Geoff Wing Message-Id: <199611220249.NAA10980@coral.primenet.com.au> Subject: Re: Ctrl-Space kills zsh To: Aki.Vehtari@hut.fi (Aki Vehtari) Date: Fri, 22 Nov 1996 13:49:33 +1100 (EST) Cc: zsh-users@math.gatech.edu In-Reply-To: from "Aki Vehtari" at Nov 21, 96 01:41:04 pm X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Resent-Message-ID: <"wMavU1.0.5G1.EQHbo"@euclid> Resent-From: zsh-users@math.gatech.edu X-Mailing-List: archive/latest/519 X-Loop: zsh-users@math.gatech.edu X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu Aki Vehtari wrote: :Pressing Ctrl-Space which sends '^@', kills zsh. Wow, this is a bug I told pf about in the first zsh version 2 about 4 or 5 years ago, which he then fixed. Isn't it good to see all the old bugs reoccuring :-) :This problem has been in versions 2.6* and is still in 3.01 :The problem appears only in terminals that processes the :Ctrl-Space and send '^@' to shell. For example some xterm :implementations don't send anything to shell when Ctrl-Space :is pressed and this problem is not appearing there (but there you :have problem of not being able to use Ctrl-Space for anything). My xterm requires CTRL-SPACE pressed twice to send it once. :Is there something wrong with handling 'null'-character ('^@') :in zsh? (Or is there some setting that I haven't noticed?) I can't make this happen. Can someone who can please send a backtrace. -- Geoff Wing [gwing@primenet.com.au] Technical Manager Phone : +61-3-9818 2977 PrimeNet - Internet Consultancy Facsimile: +61-3-9819 3788 Web : Mobile : 0412 162 441