diff options
| author | Kevin Wolf <kwolf@redhat.com> | 2019-06-13 17:34:05 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2019-06-18 08:14:17 +0200 |
| commit | 3c45f62570aeacadf4a05bfa1afaa12bea05ae86 (patch) | |
| tree | c2fc47de84278d1aacad857a22b754b90cabf9e8 /qemu-deprecated.texi | |
| parent | fbfc29e3bf145581e84c12ffc432ab56ce1dea0d (diff) | |
vl: Deprecate -mon pretty=... for HMP monitors
The -mon pretty=on|off switch of the -mon option applies only to QMP
monitors. It's silently ignored for HMP. Deprecate this combination so
that we can make it an error in future versions.
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20190613153405.24769-16-kwolf@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
[Commit message tweaked]
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'qemu-deprecated.texi')
| -rw-r--r-- | qemu-deprecated.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/qemu-deprecated.texi b/qemu-deprecated.texi index 50292d820b..df04f2840b 100644 --- a/qemu-deprecated.texi +++ b/qemu-deprecated.texi @@ -72,6 +72,12 @@ backend settings instead of environment variables. To ease migration to the new format, the ``-audiodev-help'' option can be used to convert the current values of the environment variables to ``-audiodev'' options. +@subsection -mon ...,control=readline,pretty=on|off (since 4.1) + +The @code{pretty=on|off} switch has no effect for HMP monitors, but is +silently ignored. Using the switch with HMP monitors will become an +error in the future. + @subsection -realtime (since 4.1) The @code{-realtime mlock=on|off} argument has been replaced by the |