Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: NO_CASE_GLOB and unreadable directories (Episode VI: A New Hope)
- X-seq: zsh-workers 48263
- From: Lawrence Velázquez <vq@xxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Cc: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxx>, "Devin Hussey" <husseydevin@xxxxxxxxx>
- Subject: Re: NO_CASE_GLOB and unreadable directories (Episode VI: A New Hope)
- Date: Sat, 27 Mar 2021 13:31:21 -0400
- Archived-at: <https://zsh.org/workers/48263>
- Archived-at: <http://www.zsh.org/sympa/arcsearch_id/zsh-workers/2021-03/e1da5a2e-0861-40ed-bf10-fc4868538746%40www.fastmail.com>
- In-reply-to: <CAH+w=7aLB+wHaZe=dedrmdVxvqQjMMk4vFz99rKCAadtNzgbqw@mail.gmail.com>
- List-id: <zsh-workers.zsh.org>
- References: <CAEtFKssJf-cN_EM+=5_10seY58jqALV-YH8+z5+Lm-04v493Nw@mail.gmail.com> <CAH+w=7bn8JYPx29LPGnT4ughEt-z+-rUokUz739foP=JCY9B7g@mail.gmail.com> <CAEtFKssJVz9mr3vA_vY77m2bsrXWBKHz1qgv83jzeY0jLXzPjQ@mail.gmail.com> <CAH+w=7aoaGhVCqZQ6K+z0HqJg3agOav6bh6M_9pg464aAC+htQ@mail.gmail.com> <CAH+w=7Y5UQDd7Xn6g9MR_oYtDFw8S-2WpX7xEehPZ9y47=ex8w@mail.gmail.com> <CAH+w=7aLB+wHaZe=dedrmdVxvqQjMMk4vFz99rKCAadtNzgbqw@mail.gmail.com>
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?
vq
Messages sorted by:
Reverse Date,
Date,
Thread,
Author