On Tue, 30 Jul 2002, Mark Mitchell wrote: > And what are the bits about bash? I forgot to say: gdb actually does a '/bin/bash -c "exec command args"' to start the debuggee, so that bash is involved is normal. Ciao, Michael.