On 8/25/19 2:38 PM, Alex Kerzner wrote: > Bash Version: 5.0 > Patch Level: 9 > Release Status: release > > Description: > > `bash +o history` no longer works as expected - that is, it doesn't > disable history - both in-memory history and saved-to-file history. > Occurs in bash 4.4 and later.
Thanks for the report. Chet -- ``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/