$RANDOM  –  Random Integer

$RANDOM expands to a random integer in the range [0, 32767]. Assigning a values seeds the random name generator.

BashSupport Pro is a Bash IDE with support for $RANDOMtry it now!
© 2020–2024 Joachim Ansorg
Imprint
Privacy Policy
Legal