From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17457 invoked by alias); 16 Sep 2015 23:27:11 -0000 Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Workers List List-Post: List-Help: X-Seq: 36543 Received: (qmail 19377 invoked from network); 16 Sep 2015 23:27:08 -0000 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on f.primenet.com.au X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.0 Date: Thu, 17 Sep 2015 01:21:23 +0200 From: Vincent Lefevre To: zsh-workers@zsh.org Subject: annoying correction of directory name to non-directory name for cd Message-ID: <20150916232123.GA17398@zira.vinc17.org> Mail-Followup-To: zsh-workers@zsh.org MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/1.5.24-6504-vl-r81226 (2015-09-06) zsh often proposes to correct a directory name to a non-directory name. This is annoying. For instance: % setopt CORRECT_ALL % touch shar % cd share/zsh zsh: correct 'share/zsh' to 'shar/zsh' [nyae]? where "share/zsh" is not in the current directory (but still valid via $cdpath). Or perhaps the correction system should take $cdpath into account. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)