diff options
Diffstat (limited to 'Doc/Zsh/options.yo')
| -rw-r--r-- | Doc/Zsh/options.yo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index 6b3ba34e8..0a03c8272 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -1007,6 +1007,9 @@ Try to correct the spelling of commands. Note that, when the tt(HASH_LIST_ALL) option is not set or when some directories in the path are not readable, this may falsely report spelling errors the first time some commands are used. + +The shell variable tt(CORRECT_IGNORE) may be set to a pattern to +match words that will never be offered as corrections. ) pindex(CORRECT_ALL) pindex(NO_CORRECT_ALL) |