From 1777b67b1c62f6fe60e98b9d1e8469f19f1c2f3b Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Sat, 6 Mar 2004 00:22:58 +0000 Subject: zsh-users/7121: NO_CASE_GLOB option for case-insensitive globbing --- Doc/Zsh/options.yo | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'Doc') diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index c48427316..aa22b016f 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -219,6 +219,16 @@ Make the tt(echo) builtin compatible with the BSD manref(echo)(1) command. This disables backslashed escape sequences in echo strings unless the tt(-e) option is specified. ) +pindex(CASE_GLOB) +cindex(case-insensitive globbing, option) +item(tt(CASE_GLOB) )( +Make globbing (filename generation) sensitive to case. Note that other +uses of patterns are always sensitive to case. If the option is unset, +the presence of any character which is special to filename generation +will cause case-insensitive matching. For example, tt(cvs(/)) can +match the directory tt(CVS) owing to the presence of the globbing flag +(unless the option tt(BARE_GLOB_QUAL) is unset). +) pindex(C_BASES) cindex(bases, output in C format) cindex(hexadecimal, output in C format) -- cgit v1.2.3