On 8/1/18 10:52 AM, Robert Elz wrote: > Date: Wed, 1 Aug 2018 09:40:12 -0400 > From: Greg Wooledge <wool...@eeg.ccf.org> > Message-ID: <20180801134012.r6ojiewtx3npa...@eeg.ccf.org> > > | https://lists.gnu.org/archive/html/bug-bash/2017-06/msg00283.html > > A bug in dash which as far as I can tell has since been fixed. > > | https://lists.gnu.org/archive/html/bug-bash/2017-09/msg00058.html > > A bug in bash, but I don't have a recent enough version to know > if it has been fixed or not.
It was fixed a couple of weeks after being reported. > > | https://lists.gnu.org/archive/html/bug-bash/2018-01/msg00035.html > > This one is fixed as well (seems to have been a transitory > bug as I don't see it in versions of bash I have on different > systems than are newer, or older, than the one shown as > affected.) It's fixed in bash-5.0-alpha. It was fixed a couple of months before this report. -- ``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/