Improve documentation of which shell is used by GDB's shell commands
authorEli Zaretskii <eliz@gnu.org>
Fri, 26 Jun 2020 06:51:45 +0000 (09:51 +0300)
committerEli Zaretskii <eliz@gnu.org>
Fri, 26 Jun 2020 06:51:45 +0000 (09:51 +0300)
commitedf92af0fbc064243069578353ff569462c3df5b
tree90cddce21f832cbcca7ed549564e03d5020c37e8
parent85f7484a3a1921649029c4a4fcf3247c3f3bc13c
Improve documentation of which shell is used by GDB's shell commands

gdb/doc/ChangeLog:

2020-06-26  Eli Zaretskii  <eliz@gnu.org>

* gdb.texinfo (Shell Commands): More accurate description of use
of $SHELL.  Reported by Sandra Loosemore <sandra@codesourcery.com>.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
This page took 0.023816 seconds and 4 git commands to generate.