Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
From: Bart Schaefer <schaefer@brasslantern.com>
Message-Id: <160321155421.ZM27019@torch.brasslantern.com>
Date: Mon, 21 Mar 2016 15:54:21 -0700
In-Reply-To: <20160321183649.4fd4d72a@pwslap01u.europe.root.pri>
Comments: In reply to Peter Stephenson <p.stephenson@samsung.com>
        "PATCH: short-circuiting glob exclusion operator" (Mar 21,  6:36pm)
References: <20160321183649.4fd4d72a@pwslap01u.europe.root.pri>
To: "Zsh Hackers' List" <zsh-workers@zsh.org>
Subject: Re: PATCH: short-circuiting glob exclusion operator
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

On Mar 21,  6:36pm, Peter Stephenson wrote:
}
} This is a request for comments for now.  I'm not yet entirely sure the
} pattern syntax with two tildes isn't going to cause problems (though I
} don't see what they would be), or that I've identified all the side
} effects that can happen.

As Mikael has already pointed out, files with names ending in a tilde
followed by an exclusion pattern may cause trouble with this.

(Incidentally, you already can't use nameddirs or ~/ in exclusions, so
that's not at issue.)

} As an ultra brief summary, ~~ in a glob introduces a pattern that will
} prune directories on the way through in addition to acting in the normal
} exclusion fashion.

I don't suppose it would instead be possible to special-case something at
the END of the pattern?  E.g. **/*~*/foo/** where the trailing /** means
to prune at whatever precedes it.  I suppose that conflicts with the new
GLOB_STAR_SHORT option, although ultimately it means exactly the same in
context.

Aside:  Do we really want to add this before we've figured out the
background for "Extended globbing seems to have become much slower"?