#3594: Allow users to set the RNG seed in r.random
---------------------------+-------------------------
Reporter: pierreroudier | Owner: grass-dev@…
Type: enhancement | Status: new
Priority: normal | Milestone:
Component: Default | Version: unspecified
Keywords: | CPU: Unspecified
Platform: Unspecified |
---------------------------+-------------------------
Would be great to have the option to set the seed of the RNG used in
`r.random` to ensure reproducibility of the results.
#3594: Allow users to set the RNG seed in r.random
----------------------------+-------------------------
Reporter: pierreroudier | Owner: grass-dev@…
Type: enhancement | Status: closed
Priority: normal | Milestone:
Component: Default | Version: unspecified
Resolution: fixed | Keywords:
CPU: Unspecified | Platform: Unspecified
----------------------------+-------------------------
Changes (by mmetz):
* status: new => closed
* resolution: => fixed
Comment:
In [changeset:"72886" 72886]:
{{{
#!CommitTicketReference repository="" revision="72886"
r.random: add seed option to set the seed of the RNG (fixes #3594)
}}}