On Wed, 20 Sept 2023 at 13:45, Eric Biggers <ebiggers@xxxxxxxxxx> wrote:
>
> See my first email where I explained the problems with the current behavior.
> Especially the third paragraph.
I really don't think that's the obvious way at all. Anybody who treats
a seed file that way just doesn't care, and whipped up a (bad) shell
script randomly.
Whatever.
Linus
