zsh-workers
 help / color / mirror / code / Atom feed
From: Peter Stephenson <p.w.stephenson@ntlworld.com>
To: zsh-workers@zsh.org
Subject: Re: NO_CASE_GLOB and unreadable directories (Episode VI: A New Hope)
Date: Mon, 25 Jan 2021 14:05:49 +0000 (GMT)	[thread overview]
Message-ID: <1009925809.3264416.1611583549597@mail2.virginmedia.com> (raw)
In-Reply-To: <CAH+w=7aLB+wHaZe=dedrmdVxvqQjMMk4vFz99rKCAadtNzgbqw@mail.gmail.com>

> On 25 January 2021 at 00:52 Bart Schaefer <schaefer@brasslantern.com> 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?

I don't think 2) is so unreasonable in that only patterns with some
form of case-insensitivity are involved.  This is something of a minefield
at the best of times and getting something that looks natural on systems
that are intrinsically case-insensitive, whether or not case-preserving,
is difficult.  But with a new option it seems to provide a definite path
forward in any case.  The only serious objection to that other that I
can see is that it makes the code more complicated; the reply to that is
if the code is simple there's a good chance it doesn't quite do what you
need it to.

(For the same reasons I'm not actually commenting on the details, since
I'm well aware how easy it is to miss some crucial aspect.)

pws


  reply	other threads:[~2021-01-25 14:06 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-01-13  3:04 [PATCH] Allow globbing with unreadable parent directories Devin Hussey
2021-01-13 22:27 ` Bart Schaefer
2021-01-14  0:27   ` Devin Hussey
2021-01-14  1:32     ` Lawrence Velázquez
2021-01-14  2:22       ` Devin Hussey
2021-01-14  2:24         ` Devin Hussey
2021-01-17 17:22       ` Daniel Shahaf
2021-01-17 18:02         ` Bart Schaefer
2021-01-17 18:23           ` Bart Schaefer
2021-01-14  4:04     ` Bart Schaefer
2021-01-14  5:57       ` NO_CASE_GLOB and unreadable directories (Episode VI: A New Hope) Bart Schaefer
2021-01-14 18:56         ` Bart Schaefer
2021-01-25  0:52         ` Bart Schaefer
2021-01-25 14:05           ` Peter Stephenson [this message]
2021-02-05  5:53             ` Bart Schaefer
2021-02-06 12:31               ` Daniel Shahaf
2021-03-27 17:31           ` Lawrence Velázquez
2021-04-10 20:56             ` Lawrence Velázquez
2021-04-10 21:22               ` Bart Schaefer
2021-04-13 11:46                 ` Daniel Shahaf
2021-04-13 21:33                   ` Bart Schaefer

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1009925809.3264416.1611583549597@mail2.virginmedia.com \
    --to=p.w.stephenson@ntlworld.com \
    --cc=zsh-workers@zsh.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).