<div dir="ltr">On Mon, Nov 18, 2013 at 9:40 AM, Peter Collingbourne <span dir="ltr"><<a href="mailto:peter@pcc.me.uk" target="_blank">peter@pcc.me.uk</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Nov 18, 2013 at 12:33:25AM -0800, Manuel Klimek wrote:<br>
><br>
>   1) there is - just set to ""<br>
<br>
</div>That won't work unless we change what a "word" is (which may be a good idea).<br>
Otherwise, the output will go to a file named "".<br></blockquote><div><br></div><div>Ah, good point... </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">
>   2) it always goes to stdout, too<br>
<br>
</div>That'll teach me not to read.  (Though I guess we lose out on colouring when<br>
the output is teed).<br></blockquote><div><br></div><div>Yep, exactly, that's currently the downside... </div></div></div></div>