2006-10-31 15:23:16 +00:00
|
|
|
\section random random - generate random number
|
2005-09-20 13:31:55 +00:00
|
|
|
|
|
|
|
|
\subsection random-synopsis Synopsis
|
2014-08-01 02:37:32 +00:00
|
|
|
\fish{syn}
|
|
|
|
|
random [SEED]
|
|
|
|
|
\endfish
|
2005-09-20 13:31:55 +00:00
|
|
|
|
|
|
|
|
\subsection random-description Description
|
|
|
|
|
|
2014-08-01 02:37:32 +00:00
|
|
|
`random` outputs a random number from 0 to 32766, inclusive.
|
Help cleanup
Large list of changes, including formatting and typos for most commands.
More substantive changes have been made to alias, bind, block, break,
builtin, case, cd, commandline, count, else, emit, fish_config, funced,
function, functions, history, math, mimedb, nextd, not, popd, prevd,
pushd, pwd, random, read, set, set_color, switch, test, trap, type,
ulimit, umask, and while.
2013-05-12 07:56:01 +00:00
|
|
|
|
2014-08-01 02:37:32 +00:00
|
|
|
If a `SEED` value is provided, it is used to seed the random number
|
Help cleanup
Large list of changes, including formatting and typos for most commands.
More substantive changes have been made to alias, bind, block, break,
builtin, case, cd, commandline, count, else, emit, fish_config, funced,
function, functions, history, math, mimedb, nextd, not, popd, prevd,
pushd, pwd, random, read, set, set_color, switch, test, trap, type,
ulimit, umask, and while.
2013-05-12 07:56:01 +00:00
|
|
|
generator, and no output will be produced. This can be useful for debugging
|
|
|
|
|
purposes, where it can be desirable to get the same random number sequence
|
2005-09-20 13:31:55 +00:00
|
|
|
multiple times. If the random number generator is called without first
|
|
|
|
|
seeding it, the current time will be used as the seed.
|
|
|
|
|
|
|
|
|
|
\subsection random-example Example
|
|
|
|
|
|
|
|
|
|
The following code will count down from a random number to 1:
|
|
|
|
|
|
2014-08-01 02:37:32 +00:00
|
|
|
\fish
|
2005-09-20 13:31:55 +00:00
|
|
|
for i in (seq (random) -1 1)
|
2014-08-01 02:37:32 +00:00
|
|
|
echo $i
|
|
|
|
|
sleep
|
2005-09-20 13:31:55 +00:00
|
|
|
end
|
2014-08-01 02:37:32 +00:00
|
|
|
\endfish
|
