NEWS and documentation for | (pipe) command.
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sat, 4 May 2019 13:39:27 +0000 (15:39 +0200)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Fri, 31 May 2019 15:14:20 +0000 (17:14 +0200)
commite2c52041c02e2bdee5b28e97c7997caf0ee5bb2d
tree078d55ebb3f66b8e30a170287cc817c1c5807aa5
parent708dc93ed0c8ee744e2784a1c349d8129a84200f
NEWS and documentation for | (pipe) command.

gdb/ChangeLog
* NEWS: Mention new pipe command and new convenience variables.

gdb/doc/ChangeLog
* gdb.texinfo (Shell Commands): Document pipe command.
(Logging Output): Add a reference to pipe command.
(Convenience Variables): Document $_shell_exitcode and
$_shell_exitstatus.
gdb/ChangeLog
gdb/NEWS
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo