$RANDOMで乱数取得

RANDOMって変数を参照すると0から32767の乱数が取得できる。
http://www.linux.or.jp/JM/html/GNU_bash/man1/bash.1.html

このパラメータが参照される度に、 0 から 32767 までのランダムな整数が生成されます。 RANDOM に値を代入すると、乱数の列を初期化できます。 RANDOM を unset すると、この変数の特殊な性質は無くなります。後で再び set しても元には戻りません。


仕組みがよくわからん・・・


$ echo $RANDOM
9988
$ echo $RANDOM
22117
$ set | grep RANDOM
RANDOM=22117
$ set | grep RANDOM
RANDOM=22117