On Mon, Jun 19, 2023, 20:16 Chet Ramey wrote:
> On 6/18/23 4:59 AM, Grisha Levit wrote:
> > On Sunday, May 28, 2023, Grisha Levit wrote:
> >
> >> Missing final `;':
> >>
> >> "$BASH" --pretty-print <<< $'${ : \;;}'
> >> ${ : \; }
> >>
> >
> > The latest set of fixes to this code solves these cas
On 6/18/23 4:59 AM, Grisha Levit wrote:
On Sunday, May 28, 2023, Grisha Levit wrote:
Missing final `;':
"$BASH" --pretty-print <<< $'${ : \;;}'
${ : \; }
The latest set of fixes to this code solves these cases but others have
issues:
$ bash --pretty-print <<<$'${ : \;;\n}'
${ : \; }
$ ba
On Sunday, May 28, 2023, Grisha Levit wrote:
> Missing final `;':
>
> "$BASH" --pretty-print <<< $'${ : \;;}'
> ${ : \; }
>
The latest set of fixes to this code solves these cases but others have
issues:
$ bash --pretty-print <<<$'${ : \;;\n}'
${ : \; }
$ bash --pretty-print <<<$'${ : \;\n\n}'
Missing final `;':
"$BASH" --pretty-print <<< $'${ : \;;}'
${ : \; }
"$BASH" --pretty-print <<< $'${ : \;\n}'
${ : \; }
"$BASH" --pretty-print <<< $'${ : \&;}'
${ : \& }
"$BASH" --pretty-print <<< $'${ : \&\n}'
${ : \& }
Correct:
"$BASH" --pretty-print <<< $'${ : \;&}'
${ : \; & }
"$BASH" --
