bash $RANDOM

bash でランダムな数字を得るには $RANDOM 変数が使える。0 ~ 32767 の値が得られる。
10 未満の乱数を得る場合。

expr ${RANDOM} % 10
echo $(( ${RANDOM % 10 } ))
タイトルとURLをコピーしました