Seed for $ RANDOM переменная среды в bash

Question

Я работаю над скриптом bash, который использует переменную окружения $RANDOM в качестве входа в симуляцию. Переменная делает то, что она говорит, дает случайные целые числа, и я, насколько я понимаю, берется из /dev/random.

Однако я хотел бы иметь воспроизводимое моделирование, тогда псевдослучайный генератор должен быть инициализирован семенем; возможно ли иметь семя для переменной $RANDOM в bash?

Answer 1

От человека странице:

RANDOM Each time this parameter is referenced, a random integer between 
      0 and 32767 is generated. The sequence of random numbers may be 
      initialized by assigning a value to RANDOM. If RANDOM is unset, 
      it loses its special properties, even if it is subsequently 
      reset. 

Обратите внимание, что назначая значение RANDOM фактически семена ее; назначенное значение не будет следующим возвращенным значением.

$ RANDOM=1341 
$ echo $RANDOM $RANDOM $RANDOM 
26571 16669 28842 
$ echo $RANDOM $RANDOM $RANDOM 
14953 18116 2765 
$ RANDOM=1341 
$ echo $RANDOM $RANDOM $RANDOM 
26571 16669 28842 
$ echo $RANDOM $RANDOM $RANDOM 
14953 18116 2765