Re: Should we use [[ or should we use [ when the later will do? (Was: Execution of subsequent commands ...)
Robert Elz <[email protected]>
| Newsgroups | gmane.comp.shells.bash.bugs |
|---|---|
| Message-ID | <[email protected]> |
Date: Tue, 3 Feb 2026 09:45:31 -0600
From: "G. Branden Robinson" <[email protected]>
Message-ID: <20260203154531.vjoxvj77bc5nuugl@illithid>
| At 2026-02-03T08:19:47-0700, Stan Marsh wrote:
| > >On 2/2/26 10:29 PM, Robert Elz wrote:
| > I think it is dumb to publicly call another poster "dumb".
|
| Robert's from Australia. If you've ever dealt with Aussie in real life,
| you'd know that whoever he was talking about got off easy.
:-)
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.
Lots of highly competent people do that, just because everyone seems
to do it.
kre