On 12/28/18 4:24 AM, Ole Tange wrote: > On Sun, Dec 16, 2018 at 6:41 AM Eduardo Bustamante <dual...@gmail.com> wrote: > : >> You know no one is stopping you from submitting a patch to actually >> fix the documentation right? (or maybe, you know, submitting an actual >> working patch to change the random generator, not just drop some >> irrelevant code snippet you got from Wikipedia). > > Patch attached.
Thanks for the patch. I'll take a look after I release bash-5.0. One question: can you reproduce the same random sequence by using the same seed? That's for backwards compatibility, even if the sequences themselves differ. 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/