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 February:
https://lists.gnu.org/archive/html/bug-bash/2023-02/msg00156.html
where I answered in more detail:
https://lists.gnu.org/archive/html/bug-bash/2023-02/msg00163.html
You participated.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
