<div class="gmail_quote">On Wed, Jun 22, 2011 at 15:09, Jed Brown <span dir="ltr"><<a href="mailto:jed@59a2.org">jed@59a2.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div>$ cat > redirect.sh</div>
<div>#!/bin/sh</div><div><br></div><div>echo ppid=$PPID pwd=$PWD cmd="$@"</div><div>sleep 10</div><div>exec "$@"</div></blockquote></div><br><div>This might be more useful written as</div><div><br></div>
<div>echo ...</div><div>"$@"</div><div>sleep 10</div><div><br></div><div>Also, if you do sleep for 10 before, then be sure to add -debugger_pause 20 to the PETSc command line because 10 happens to be the default sleep time.</div>