On Fri, 16 Jun 2023 14:25:54 -0400
Chet Ramey wrote:
> On 6/15/23 8:57 PM, Kerin Millar wrote:
> > As below.
> >
> > $ bash -c 'declare -p BASH_VERSION'
> > declare -- BASH_VERSION="5.2.15(1)-release"
> > $ bash -c '[[ ]]; echo fin'; echo $?
> > 0
>
> https://lists.gnu.org/archive/html/bug-bash
On 6/15/23 8:57 PM, Kerin Millar wrote:
As below.
$ bash -c 'declare -p BASH_VERSION'
declare -- BASH_VERSION="5.2.15(1)-release"
$ bash -c '[[ ]]; echo fin'; echo $?
0
https://lists.gnu.org/archive/html/bug-bash/2022-10/msg00103.html
describes the fix.
We had this same discussion back in Feb