2018/10/02
bashで乱数
bashで乱数を取得したいときは$RANDOMを参照するだけでいい。
0～4を返す乱数の例$ echo $(( $RANDOM % 5 ))※先頭の$はプロンプト
man bash からの抜粋：
このパラメータが参照される度に、0 から 32767 までのランダムな整数が生成されます。RANDOM に値を代入すると、乱数の列を初期化できます。RANDOM を unset すると、この変数の特殊な性質は無くなります。後で再び set しても元には戻りません。