diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2007-10-25 09:00:02 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2007-10-25 09:00:02 +0000 |
commit | abdf7344833c13623b433b071f337128890eb063 (patch) | |
tree | e4fdea310d0de842ec1195f9861092629acb24a0 /Doc/Zsh | |
parent | 9fc8fe178590acb4407f0b9220ce160c851da037 (diff) | |
download | zsh-abdf7344833c13623b433b071f337128890eb063.tar.gz zsh-abdf7344833c13623b433b071f337128890eb063.tar.xz zsh-abdf7344833c13623b433b071f337128890eb063.zip |
users/12100: default to a case-insensitive matcher with NO_CASE_GLOB
Diffstat (limited to 'Doc/Zsh')
-rw-r--r-- | Doc/Zsh/compsys.yo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/Zsh/compsys.yo b/Doc/Zsh/compsys.yo index 780255e58..04fc6ecfa 100644 --- a/Doc/Zsh/compsys.yo +++ b/Doc/Zsh/compsys.yo @@ -1968,6 +1968,11 @@ quickly reduce the shell's performance. As a rough rule of thumb, one to three strings will give acceptable performance. On the other hand, putting multiple space-separated values into the same string does not have an appreciable impact on performance. + +If there is no current matcher or it is empty, and the option +tt(NO_CASE_GLOB) is in effect, the matching for files is performed +case-insensitively in any case. However, any matcher must +explicitly specify case-insensitive matching if that is required. ) kindex(max-errors, completion style) item(tt(max-errors))( |