[PATCH 7/7] gdb: startup commands to control Python extension language

[Eli Zaretskii]

> Date: Thu, 29 Apr 2021 10:46:42 +0100
> From: Andrew Burgess <andrew.burgess@embecosm.com>
> Cc: gdb-patches@sourceware.org
> 
> --- a/gdb/doc/python.texi
> +++ b/gdb/doc/python.texi
> @@ -136,8 +136,10 @@
>  (@pxref{Initialization Files}) to have the desired effect.
>  
>  By default this option is set to @samp{auto}, in this mode Python will
> -check the environment variable @env{PYTHONDONTWRITEBYTECODE} to see
> -if it should write out byte-code or not.
> +check the environment variable @env{PYTHONDONTWRITEBYTECODE} to see if
> +it should write out byte-code or not.  When @command{set python
> +ignore-environment on} has been used then Python will ignore the
> +environment variable and write out the byte-code files.

@command is the markup for programs, not for command lines.  Command
lines should be in @kbd, as that is what the user types on the
keyboard.

Thanks.