Re: [RFA/NEWS] source is able to load Python scripts.

[Eli Zaretskii <eliz@gnu.org>]

> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Joel Brobecker <brobecker@adacore.com>
> Date: Mon, 18 Jan 2010 11:04:25 +0400
> 
> This patch documents the fact that the "source" comment is now able to
> load Python scripts.  It also documents a new setting that was introduced
> to configure the behavior of the "source" command.

Thanks.

> +  Related to this enhancement is also the introduction a new command
> +  "set script-extension" (see below).                 ^^^^^^^^^^^^^^

"of a new command"

> +   If set to off, the debugger does not perform any script language
> +   recognition, and all sourced files are assumed to be GDB scripts.
> +   If set to "soft" (the default), files are sourced according to
> +   filename extension, falling back to GDB scripts if the first
> +   evaluation failed.
> +   If set to "strict", files are sourced according to filename extension.

If it's "strict" and "soft", then it should also be "off", with
quotes, right?

Btw, the patch for the manual that I just approved didn't document
"set script-extension", did I miss something?