Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

annoying correction of directory name to non-directory name for cd

X-seq: zsh-workers 36543
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: annoying correction of directory name to non-directory name for cd
Date: Thu, 17 Sep 2015 01:21:23 +0200
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mail-followup-to: zsh-workers@xxxxxxx
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm

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 <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Follow-Ups:
- Re: annoying correction of directory name to non-directory name for cd
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author