Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: case-insensitive globbing



On Mar 6, 12:18am, Peter Stephenson wrote:
} Subject: PATCH: case-insensitive globbing
}
} > (Bash has such an option: nocaseglob...)
} 
} This has been on the wish list for ages, but I just realised it's
} completely trivial to implement... so trivial it might as well be in
} 4.2.0.  It's just the existing code for (#i) turn on at the start
} of all file globs.

Does that mean that (#I) selectively restores case sensitivity?



Messages sorted by: Reverse Date, Date, Thread, Author