From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1817 invoked from network); 7 Aug 2001 20:39:56 -0000 Received: from sunsite.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 7 Aug 2001 20:39:56 -0000 Received: (qmail 7245 invoked by alias); 7 Aug 2001 20:39:40 -0000 Mailing-List: contact zsh-users-help@sunsite.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 4093 Received: (qmail 7234 invoked from network); 7 Aug 2001 20:39:39 -0000 MIME-Version: 1.0 From: Vincent Lefevre To: zsh-users@sunsite.dk Date: Tue, 07 Aug 2001 22:39:30 +0200 Subject: Re: [4.0.2 bug] commands not written to history Message-ID: <4aa67972favincent@vinc17.org> In-Reply-To: References: <4a9256987fvincent@vinc17.org> User-Agent: Pluto/2.03a (RISC-OS/4.02) POPstar/2.03 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit In article , Wayne Davison wrote: > So, do you know if you were exiting the shell via some kind of signal > rather than typing something like "exit"? I never type "exit". I generally quit zsh with Ctrl-D. But sometimes I quit the window manager (fvwm), which sends a signal to zsh AFAIK. I've just reproduced the bug by doing that. So, I think this was the problem. > If so, try the attached patch and see if this fixes the problem. Thanks, I'll try it... -- Vincent Lefèvre - Web: - 100% validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA