$RANDOM  –  Random Integer

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

BashSupport Pro 是一个 支持 $RANDOM 的 Bash 集成开发工具 – 马上试用
© 2020–2024 Joachim Ansorg
声明
隐私政策
许可条款