diff options
Diffstat (limited to 'DOCS/man/en/options.rst')
-rw-r--r-- | DOCS/man/en/options.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/DOCS/man/en/options.rst b/DOCS/man/en/options.rst index 46586e69cf..44fe7ff6ca 100644 --- a/DOCS/man/en/options.rst +++ b/DOCS/man/en/options.rst @@ -2411,6 +2411,13 @@ OPTIONS Default: ``[-+-]``. +``--no-terminal``, ``--terminal`` + Disable any use of the terminal and stdin/stdout/stderr. This completely + silences any message output. + + Unlike ``--really-quiet``, this disables input and terminal initialization + as well. + ``--title=<string>`` Set the window title. Properties are expanded on playback start. (See `Property Expansion`_.) |