Re: performance bug of [[ $x ]]

From	Lawrence Velázquez <vq@larryv.me>
Newsgroups	gnu.bash.bug
Subject	Re: performance bug of [[ $x ]]
Date	2020-03-08 00:56 -0500
Message-ID	<mailman.2280.1583647016.2412.bug-bash@gnu.org> (permalink)
References	<CABrM6w=ignEwgynRTYYbBLUNs=KVhE8WCf9h=kkgHj00QNoqmw@mail.gmail.com> <20200307225816.GA997327@chrisdown.name> <CABrM6w=f1bqMekCcfSdzYGrMVFTzpWFniFKhspfBqdfyDxn1hQ@mail.gmail.com> <AD7A1D47-0617-4F06-A6C4-CF60538C4948@larryv.me>

Show all headers | View raw

> On Mar 7, 2020, at 7:33 PM, Peng Yu <pengyu.ut@gmail.com> wrote:
> 
> Could you show me how you do the profiling for this specific case?
> Based on what proof that you can conclude that it is not the `[[`
> performance problem?

That's kind of a weird framing. The burden of proof is on *you* to
prove your assertion that `[[`, specifically, is causing a problem.

vq

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: performance bug of [[ $x ]] Lawrence Velázquez <vq@larryv.me> - 2020-03-08 00:56 -0500

csiph-web