Re: [PATCH] An implementation of pipe to make I/O communication between gdb and shell. [MinGW question]

Eli Zaretskii
2011-08-16T13:38:44Z

> Date: Tue, 16 Aug 2011 18:15:19 +0530
> From: Abhijit Halder <abhijit.k.halder@gmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, sergiodj@redhat.com, tromey@redhat.com,
> pedro@codesourcery.com, gdb-patches@sourceware.org
>
> --- src/gdb/NEWS 2011-08-14 07:27:51.582233000 +0530
> +++ dst/gdb/NEWS 2011-08-14 07:50:38.562234498 +0530
> @@ -64,6 +64,9 @@
>
> * New commands "info macros", and "info definitions" have been added.
>
> +* New command "pipe" has been added to make GDB command output available to the
> + shell for processing.
> +
> * Changed commands

This part is okay.

> +void
> +_initialize_pipe (void)
> +{
> + add_cmd ("pipe", no_class, pipe_command, _("\
> +Create pipe to pass gdb-command output to the shell for processing.\n\
> +Arguments are a delimiter, followed by a gdb-command, then the same delimiter \
> +again and finally a shell-command."),

This doc string should say something about what can be the delimiter.

What about the manual? (Apologies if I already reviewed that part:
this has been a very long thread.)

Thanks.