$RANDOM
–
Random Integer
$RANDOM expands to a random integer in the range [0, 32767].
Assigning a values seeds the random name generator.
Links
BashSupport Pro ist eine Bash IDE mit Unterstützung für $RANDOM – probieren Sie es aus!