On 5/22/16 2:52 PM, Gabriel Sharp wrote: > From: osirisgot...@hotmail.com > To: bug-bash@gnu.org,b...@packages.debian.org > Subject: compat42 and compat41 behave incorrectly, compat41 not possible at > all > > compat42 and compat41 shell options are set incorrectly when set via > BASH_COMPAT
Thanks for the report. This was reported back in June, 2014 and has been fixed in the devel branch. I posted a patch as part of another discussion last October: http://lists.gnu.org/archive/html/bug-bash/2015-10/msg00109.html -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
