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

Re: NO_CASE_GLOB and unreadable directories (Episode VI: A New Hope)

On Sat, Mar 27, 2021, at 1:31 PM, Lawrence Velázquez wrote:
> On Sun, Jan 24, 2021, at 7:52 PM, Bart Schaefer wrote:
> > I see these possibilities:
> > 1) Do nothing; Devin's case is broken by design and termux needs to
> > come up with a solution that doesn't involve NO_CASE_GLOB.
> > 2) Adopt (a CYGWIN-clean variant of) my patch from workers/47832, and
> > accept that some current usage of NO_CASE_GLOB will break.
> > 3) Add a setopt (CASE_DIRS ?) for the current behavior, and merge that
> > with workers/47832.  I haven't yet worked out how to avoid having
> > "setopt nocasedirs" imply the effects of "setopt nocaseglob" ...
> > perhaps name it CASE_SEARCH (?) and simply leave the implication?
> 
> Is it safe to say we're going with 1) by default?

bump (in the night) (actually late afternoon here)

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