[RFA 4/4] NEWS and documentation for | (pipe) command.
Eli Zaretskii
eliz@gnu.org
Sun Apr 21 05:22:00 GMT 2019
> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Date: Sat, 20 Apr 2019 23:21:53 +0200
>
> diff --git a/gdb/NEWS b/gdb/NEWS
> index 5309a8f923..8744659e7b 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -27,6 +27,14 @@
> 'array_indexes', 'symbols', 'unions', 'deref_refs', 'actual_objects',
> 'static_members', 'max_elements', 'repeat_threshold', and 'format'.
>
> +* New commands
> +
> +pipe [COMMAND] | SHELL_COMMAND
> +| [COMMAND] | SHELL_COMMAND
> + Executes COMMAND and sends its output to SHELL_COMMAND.
> + With no COMMAND, repeat the last executed command
> + and send its output to SHELL_COMMAND.
> +
This is OK.
> +You can also redirect the output of a @value{GDBN} command to a
> +shell command. See @ref{pipe}.
^^^^^^^^^^^^^^
This isn't incorrect, bur @xref{pipe} is better.
Otherwise, the documentation part is OK, thanks.
More information about the Gdb-patches
mailing list