Control: retitle -1 gdb: want a "set shell" command
Control: severity -1 wishlist
"set env SHELL = /bin/sh" sets the value given to the target when *it*
runs; this is not the same as GDB's own SHELL value, and naturally
this does not apply to the "shell" command. It *could* reasonably apply
to invoking the debuggee, but it's just as reasonable for it not to do so.
Anyway, the point is that you need to set the variable *before*
running GDB, as in:
$ SHELL=/bin/sh gdb
It would be nice if there was a "set shell" command, so you could put
the following in .gdbinit:
set shell /bin/sh
--
Hi! I'm a .signature virus! Copy me into your ~/.signature to help me spread!
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
