diff options
Diffstat (limited to 'DOCS/man/options.rst')
| -rw-r--r-- | DOCS/man/options.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 95bec1c3d3..ad7d449b33 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -999,6 +999,11 @@ Program Behavior show the console, and ``ESC`` to hide it again. (This is based on a user script called ``repl.lua``.) +``--load-auto-profiles=<yes|no|auto>`` + Enable the builtin script that does auto profiles (default: auto). See + `Conditional auto profiles`_ for details. ``auto`` will load the script, + but immediately unload it if there are no conditional profiles. + ``--player-operation-mode=<cplayer|pseudo-gui>`` For enabling "pseudo GUI mode", which means that the defaults for some options are changed. This option should not normally be used directly, but |