diff options
author | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-11-26 01:50:18 +0000 |
---|---|---|
committer | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-11-26 01:50:18 +0000 |
commit | be0e1188ac3e6e4832cb56bb08b30c74d23af3dc (patch) | |
tree | a6b0a7add9f0b8e4a91f89446c923f93dfe6d031 /Doc/Zsh/compsys.yo | |
parent | c84618416b0b25d8e6f628c3fac60cb0f654e997 (diff) | |
download | zsh-be0e1188ac3e6e4832cb56bb08b30c74d23af3dc.tar.gz zsh-be0e1188ac3e6e4832cb56bb08b30c74d23af3dc.tar.xz zsh-be0e1188ac3e6e4832cb56bb08b30c74d23af3dc.zip |
Merge of users/12100: default to a case-insensitive matcher with NO_CASE_GLOB.
Diffstat (limited to 'Doc/Zsh/compsys.yo')
-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 16c25fc0c..ef83aedbe 100644 --- a/Doc/Zsh/compsys.yo +++ b/Doc/Zsh/compsys.yo @@ -1971,6 +1971,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))( |