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

[Vincent Lefevre <vincent@vinc17.net>]

On 2015-09-16 18:07:14 -0700, Bart Schaefer wrote:
> On Sep 17,  1:21am, Vincent Lefevre wrote:
> } zsh often proposes to correct a directory name to a non-directory
> } name. This is annoying.
> } 
> } Or perhaps the correction system should take $cdpath into account.
> 
> CORRECT_ALL isn't intended to be that smart.  It doesn't know or care
> what the command word is, and doesn't have access to all of the syntax
> analysis done by the completion system to understand what each word
> position means.

For the simplest cases, it doesn't need to know the meaning: when the
word is followed by a slash, the filename must be a directory name.
So, before proposing anything, the correction system should do such
an additional check. At least it would avoid some false positives.

-- 
Vincent Lefèvre <vincent@vinc17.net> - 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)