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
|
|
|
|
2019-09-17 17:59:04 +08:00
|
|
|
::
|
2018-12-18 09:58:24 +08:00
|
|
|
|
2019-09-17 17:59:04 +08:00
|
|
|
random
|
|
|
|
random SEED
|
|
|
|
random START END
|
|
|
|
random START STEP END
|
|
|
|
random choice [ITEMS...]
|
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
|
|
|
|
2020-09-11 02:48:13 +08:00
|
|
|
``random`` generates a pseudo-random integer from a uniform distribution. The
|
|
|
|
range (inclusive) depends on the arguments.
|
|
|
|
No arguments indicate a range of 0 to 32767 (inclusive).
|
|
|
|
|
2018-12-17 05:08:41 +08:00
|
|
|
If one argument is specified, the internal engine will be seeded with the
|
2020-09-11 02:48:13 +08:00
|
|
|
argument for future invocations of ``random`` and no output will be produced.
|
|
|
|
|
|
|
|
Two arguments indicate a range from START to END (both START and END included).
|
|
|
|
|
|
|
|
Three arguments indicate a range from START to END with a spacing of STEP
|
2018-12-17 05:08:41 +08:00
|
|
|
between possible outputs.
|
2020-09-11 02:48:13 +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.
|
|
|
|
|
2020-09-11 02:48:13 +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
|
|
|
::
|
2020-09-11 02:48:13 +08:00
|
|
|
|
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:
|
|
|
|
|
2020-09-11 02:48:13 +08:00
|
|
|
::
|
|
|
|
|
|
|
|
open (random choice **.jpg)
|
2018-12-19 11:14:04 +08:00
|
|
|
|
|
|
|
|
2020-09-11 02:48:13 +08:00
|
|
|
Or, to only get even numbers from 2 to 20::
|
2018-12-19 11:14:04 +08:00
|
|
|
|
2020-09-11 02:48:13 +08:00
|
|
|
random 2 2 20
|
2018-12-19 11:14:04 +08:00
|
|
|
|
2020-09-11 02:48:13 +08:00
|
|
|
Or odd numbers from 1 to 3::
|
|
|
|
|
|
|
|
random 1 2 3 # or 1 2 4
|