From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2131 invoked from network); 19 Jun 2001 21:53:00 -0000 Received: from sunsite.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 19 Jun 2001 21:53:00 -0000 Received: (qmail 18620 invoked by alias); 19 Jun 2001 21:52:13 -0000 Mailing-List: contact zsh-users-help@sunsite.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 3934 Received: (qmail 18605 invoked from network); 19 Jun 2001 21:52:12 -0000 MIME-Version: 1.0 From: Vincent Lefevre To: Mailing-list zsh-users Date: Tue, 19 Jun 2001 23:52:37 +0200 Subject: New behaviour for HIST_IGNORE_SPACE option Message-ID: <4a8d442eb8vincent@vinc17.org> User-Agent: Pluto/2.02e (RISC-OS/4.02) POPstar/2.03 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit It seems that the behaviour of HIST_IGNORE_SPACE has changed in zsh 4.0.1, and I don't like the new one. I sometimes want to do things like: $ cmd1 $ cmd2 $ cmd1 With previous zsh versions (including 4.0.1 preversions), I just had to hit the up arrow key for the last command. Now, it doesn't work any longer (I have to hit the arrow key twice). Could there be an option to get the old behaviour? Or perhaps to get the new one only when the command fails (nonzero exit code)... -- 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