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

[Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>]

On Thu, Nov 24, 2022 at 5:20 PM Stephane Chazelas <stephane@xxxxxxxxxxxx> wrote:
>
> To me, having $SRANDOM added to core zsh, and maybe a
> randint(first, last) added to zsh/math would be more than
> enough.

This is my opinion as well. These two facilities are easy to
understand, cover all use cases (even if requiring a bit of extra code
for the rare ones) and are easy to agree upon as far as the API is
concerned.

Roman.