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
|
|
|
|
docs synopsis: add HTML highlighing and automate manpage markup
Recent synopsis changes move from literal code blocks to
[RST line blocks]. This does not translate well to HTML: it's not
rendered in monospace, so aligment is lost. Additionally, we don't
get syntax highlighting in HTML, which adds differences to our code
samples which are highlighted.
We hard-wrap synopsis lines (like code blocks). To align continuation
lines in manpages we need [backslashes in weird places]. Combined with
the **, *, and `` markup, it's a bit hard to get the alignment right.
Fix these by moving synopsis sources back to code blocks and compute
HTML syntax highlighting and manpage markup with a custom Sphinx
extension.
The new Pygments lexer can tokenize a synopsis and assign the various
highlighting roles, which closely matches fish's syntax highlighing:
- command/keyword (dark blue)
- parameter (light blue)
- operator like and/or/not/&&/|| (cyan)
- grammar metacharacter (black)
For manpage output, we don't project the fish syntax highlighting
but follow the markup convention in GNU's man(1):
bold text type exactly as shown.
italic text replace with appropriate argument.
To make it easy to separate these two automatically, formalize that
(italic) placeholders must be uppercase; while all lowercase text is
interpreted literally (so rendered bold).
This makes manpages more consistent, see string-join(1) and and(1).
Implementation notes:
Since we want manpage formatting but Sphinx's Pygments highlighing
plugin does not support manpage output, add our custom "synopsis"
directive. This directive parses differently when manpage output is
specified. This means that the HTML and manpage build processes must
not share a cache, because the parsed doctrees are cached. Work around
this by using separate cache locations for build targets "sphinx-docs"
(which creates HTML) and "sphinx-manpages". A better solution would
be to only override Sphinx's ManualPageBuilder but that would take a
bit more code (ideally we could override ManualPageWriter but Sphinx
4.3.2 doesn't really support that).
---
Alternative solution: stick with line blocks but use roles like
:command: or :option: (or custom ones). While this would make it
possible to produce HTML that is consistent with code blocks (by adding
a bit of CSS), the source would look uglier and is harder to maintain.
(Let's say we want to add custom formatting to the [|] metacharacters
in HTML. This is much easier with the proposed patch.)
---
[RST line blocks]: https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html#line-blocks
[backslashes in weird places]: https://github.com/fish-shell/fish-shell/pull/8626#discussion_r782837750
2022-01-09 22:09:46 +08:00
|
|
|
.. synopsis::
|
|
|
|
|
|
|
|
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
|