Shell commands

[Eli Zaretskii]

> Date: Mon, 03 Jan 2005 16:38:03 +1100
> From: Russell Shaw <rjshaw@netspace.net.au>
> 
> Does the gdb shell have a command to run a unix shell command?

Yes, and it's called `shell'.  That is, "shell ls" will run `ls' in
the current directory.  Just "shell" starts an inferior shell (you
need to explicitly exit the shell to return to GDB).

If you tried to look for that in the GDB manual, but failed to find,
please describe how you tried to find it, as that might be some
problem with the manual indexing or something.