From: Robert Elz Subject: Re: Should we use [[ or should we use [ when the later will do? (Was: Execution of subsequent commands ...) Date: Wed, 04 Feb 2026 14:42:38 +0700
>But Stan, it wasn't the OP (or whoever) I was calling dumb, it was >the practice of just blindly using bash extensions when not needed. I get that, but the fact is that if you criticize someone's practices or tools, it will be (often/usually) be interpreted as a criticism of the person - regardless of your actual intent. It is better to avoid doing this. >Lots of highly competent people do that, just because everyone seems >to do it. As well they should. I get that we don't agree on this point. So it goes. I think the case that one should just always use [[ is pretty convincing (even though I don't always follow this myself). I think Chet's point was that if one is going to use one bash extension, you might as well use them all. In for a penny, ... ================================================================================= Please do not send me replies to my posts on the list. I always read the replies via the web archive, so CC'ing to me is unnecessary. When responding to my posts, please try to refrain from giving bureaucratic answers. If you have nothing useful to say, then just click Next and go on.
