Fix to readline for case-insensitive file-name completion

Wed May 21 22:21:00 GMT 1997

Curtis Galloway, you wrote:
>> Here are diffs to do case-insensitive globbing and filename completion. 
> They are set to be case-insensitive by default on Win32, but can be
> turned off by unsetting the special variables "glob_case_fold" and
> "completion_case_fold".

Two suggestions:
1. I think "glob_ignore_case" and "completion_ignore_case" would be
 better names.
2. For non-interactive scripts at least, the default for globbing should
 be case-sensitive even on Win32, because scripts may rely on it. 
-- 
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
WWW: < http://www.cs.mu.oz.au/~fjh > | of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.
-
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request@cygnus.com" with one line of text: "help".