Commit 5a4b8d0c authored by Athas's avatar Athas Committed by Marge Bot

Document RTS behaviour upon encountering '--'.

parent fbbe18a2
Pipeline #13439 passed with stages
in 505 minutes and 47 seconds
......@@ -77,7 +77,8 @@ the end of the command line, as in this example:
If you absolutely positively want all the rest of the options in a
command line to go to the program (and not the RTS), use a
``--RTS`` or ``--``. The difference is that ``--RTS`` will not be passed to
the program, while ``--`` will.
As always, for RTS options that take ⟨size⟩s: If the last character of
⟨size⟩ is a K or k, multiply by 1000; if an M or m, by 1,000,000; if a G
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment