On Fri, 16 Jun 2023 14:25:54 -0400 Chet Ramey <chet.ra...@case.edu> 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/2022-10/msg00103.html > describes the fix.1 > > We had this same discussion back in February: > > https://lists.gnu.org/archive/html/bug-bash/2023-02/msg00156.html Thanks. > > where I answered in more detail: > > https://lists.gnu.org/archive/html/bug-bash/2023-02/msg00163.html > > You participated. Good heavens. This entirely slipped my mind. -- Kerin Millar
