I am going to guess that gdb opens the file with mmap and therefore cannot read from stdin or the named pipe.<div><br></div><div>I am basing that guess on my other guess that gdb would want easy access to randomly access the file it is working on.<br>
<div><br></div><div>For the benefit of others who are reading this post:  &lt;(...) is just bash syntax for a named pipe.</div><div><br></div><div>-- </div><div>Michael Potter</div><div><br><br><div class="gmail_quote">On Tue, Jan 18, 2011 at 10:53 PM, Brian Pitts <span dir="ltr">&lt;<a href="mailto:brian@polibyte.com">brian@polibyte.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi,<br>
<br>
I&#39;m trying to non-interactively use gdb, but I can&#39;t get it to work.<br>
Below is an example of what I&#39;m trying and failing to accomplish. I<br>
expected the first two commands to print the same thing that the third<br>
command does. Instead, they print nothing. Can anyone explain why and/or<br>
show me a workaround that doesn&#39;t involve a temporary file?<br>
<br>
$ echo pwd | gdb -batch -x /dev/stdin /bin/true<br>
<br>
$ gdb -batch -x &lt;(/bin/echo pwd) /bin/true<br>
<br>
$ echo pwd &gt; gdb_script &amp;&amp; gdb -batch -x gdb_script /bin/true<br>
Working directory /home/brian.<br>
<br>
Without batch mode, gdb reports for command #1<br>
<br>
/dev/stdin: No such file or directory.<br>
(gdb) Hangup detected on fd 0<br>
error detected on stdin<br>
<br>
and for command #2<br>
<br>
/proc/self/fd/63: No such file or directory.<br>
<br>
--<br>
All the best,<br>
<font color="#888888">Brian Pitts<br>
_______________________________________________<br>
Ale mailing list<br>
<a href="mailto:Ale@ale.org">Ale@ale.org</a><br>
<a href="http://mail.ale.org/mailman/listinfo/ale" target="_blank">http://mail.ale.org/mailman/listinfo/ale</a><br>
See JOBS, ANNOUNCE and SCHOOLS lists at<br>
<a href="http://mail.ale.org/mailman/listinfo" target="_blank">http://mail.ale.org/mailman/listinfo</a><br>
</font></blockquote></div><br></div></div>