Re: [PATCH] zsh/random module [UPDATED]

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Sun, Nov 20, 2022 at 7:16 PM Lawrence Velázquez <larryv@xxxxxxx> wrote:
>
> The concern is about publishing (and thus committing to) a complex
> API right out of the gate, only to later realize that it is inelegant

This could be addressed by NOT defining getrandom as an autoloaded
builtin, so that a user would have to explicitly name it with zmodload
-ab, and document it as experimental.

Actually this could be done with -ap for SRANDOM and -af for zrandom,
as well, but they're much simpler and the only reasonable quibble
might be with the name "zrandom".

Incidentally, Clinton, I didn't look closer at the patch before
because the use of ".patch" as a name suffix meant I had download it
and open it in an external editor instead of just perusing it along
with my email.