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

Re: PATCH: case-insensitive globbing

X-seq: zsh-users 7122
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: zsh-users@xxxxxxxxxx
Subject: Re: PATCH: case-insensitive globbing
Date: Sat, 6 Mar 2004 06:15:50 +0000
In-reply-to: <20040306001831.0B5CF8551@xxxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
References: <20040306001831.0B5CF8551@xxxxxxxxxxxxxxxxxxxxxxxx>

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?

Follow-Ups:
- Re: PATCH: case-insensitive globbing
  - From: Peter Stephenson

References:
- PATCH: case-insensitive globbing
  - From: Peter Stephenson

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