2019-03-31 17:05:09 +08:00
|
|
|
.. _cmd-random:
|
|
|
|
|
2018-12-17 09:39:33 +08:00
|
|
|
random - generate random number
|
2019-01-03 12:10:47 +08:00
|
|
|
===============================
|
2018-12-17 09:39:33 +08:00
|
|
|
|
2018-12-18 09:58:24 +08:00
|
|
|
Synopsis
|
|
|
|
--------
|
2018-12-17 05:08:41 +08:00
|
|
|
|
|
|
|
random
|
|
|
|
random SEED
|
|
|
|
random START END
|
|
|
|
random START STEP END
|
|
|
|
random choice [ITEMS...]
|
2018-12-18 09:58:24 +08:00
|
|
|
|
2018-12-17 05:08:41 +08:00
|
|
|
|
2018-12-19 10:44:30 +08:00
|
|
|
Description
|
2019-01-03 12:10:47 +08:00
|
|
|
-----------
|
2018-12-17 05:08:41 +08:00
|
|
|
|
2018-12-20 04:02:45 +08:00
|
|
|
``RANDOM`` generates a pseudo-random integer from a uniform distribution. The
|
2018-12-17 05:08:41 +08:00
|
|
|
range (inclusive) is dependent on the arguments passed.
|
|
|
|
No arguments indicate a range of [0; 32767].
|
|
|
|
If one argument is specified, the internal engine will be seeded with the
|
2018-12-20 04:02:45 +08:00
|
|
|
argument for future invocations of ``RANDOM`` and no output will be produced.
|
2018-12-17 05:08:41 +08:00
|
|
|
Two arguments indicate a range of [START; END].
|
|
|
|
Three arguments indicate a range of [START; END] with a spacing of STEP
|
|
|
|
between possible outputs.
|
2018-12-20 04:02:45 +08:00
|
|
|
``RANDOM choice`` will select one random item from the succeeding arguments.
|
2018-12-17 05:08:41 +08:00
|
|
|
|
|
|
|
Note that seeding the engine will NOT give the same result across different
|
|
|
|
systems.
|
|
|
|
|
2018-12-20 04:02:45 +08:00
|
|
|
You should not consider ``RANDOM`` cryptographically secure, or even
|
2018-12-17 05:08:41 +08:00
|
|
|
statistically accurate.
|
|
|
|
|
2018-12-19 10:44:30 +08:00
|
|
|
Example
|
2019-01-03 12:10:47 +08:00
|
|
|
-------
|
2018-12-17 05:08:41 +08:00
|
|
|
|
|
|
|
The following code will count down from a random even number between 10 and 20 to 1:
|
|
|
|
|
2018-12-19 11:14:04 +08:00
|
|
|
|
|
|
|
|
|
|
|
::
|
|
|
|
|
|
|
|
for i in (seq (random 10 2 20) -1 1)
|
|
|
|
echo $i
|
|
|
|
end
|
|
|
|
|
2018-12-17 05:08:41 +08:00
|
|
|
|
|
|
|
And this will open a random picture from any of the subdirectories:
|
|
|
|
|
2018-12-19 11:14:04 +08:00
|
|
|
|
|
|
|
|
|
|
|
::
|
|
|
|
|
|
|
|
open (random choice **jpg)
|
|
|
|
|