Re: [patch, doc RFA] gdb.parameter("directories"), new "set dir" command

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed,  3 Nov 2010 18:07:39 -0700 (PDT)
> From: dje@google.com (Doug Evans)
> 
> This patch does two things.
> - make python gdb.parameter("directories") work
> - new command "set directories"

Thanks.

>  *** Changes since GDB 7.2
>  
> +* GDB has a new command: "set directories".
> +  It is like the "dir" command except that it replaces the
> +  source path list instead of augmenting it.
> +
>  * Python scripting
>  
>    ** GDB values in Python are now callable if the value represents a
> @@ -25,6 +29,8 @@
>    ** New commands "info pretty-printers", "enable pretty-printer" and
>       "disable pretty-printer" have been added.
>  
> +  ** gdb.parameter("directories") is now available.
> +
>  * C++ Improvements:
>  
>    ** GDB now puts template parameters in scope when debugging in an

This part is fine with me.

> +GDB ensures the search path always ends with $cdir:$cwd by\n\
> +appending these paths if necessary.\n\
                   ^^^^^
"directories", not "paths", since the whole list is called "search
path".

> --- doc/gdb.texinfo	2 Nov 2010 22:44:12 -0000	1.771
> +++ doc/gdb.texinfo	4 Nov 2010 01:00:50 -0000
> @@ -6620,6 +6620,11 @@ Reset the source path to its default val
>  @c RET-repeat for @code{directory} is explicitly disabled, but since
>  @c repeating it would be a no-op we do not say that.  (thanks to RMS)
>  
> +@item set directories @var{path-list}
> +@kindex set directories
> +Set the source path to @var{path-list}.
> +@samp{$cdir:$cwd} are added if missing.

This part is OK.