<br><div class="gmail_quote">On Thu, Feb 7, 2008 at 4:22 PM, <<a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Mon Feb 4 22:18:24 EST 2008 <a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a><br>
* Run.hs: add an option to runinterms<br>
It turns out that for urxvt, and most terminal, apparently, once you give a '-e' option, that's it.<br>
They will not interpret anything after that as anything but input for /bin/sh, so if you wanted to go 'runInTerm "'screen -r session' -title IRC"',<br>
you were SOL - the -title would not be seen by urxvt. This, needless to say, is bad, since then you can't do stuff like set the title which means<br>
various hooks and extensions are helpless. This patch adds an extra options argument which is inserted *before* the -e. If you want the old behaivour,<br>
you can just go 'runInTerm "" "executable"', but now if you need to do something extra, 'runInTerm "-title mutt" "mutt"' works fine.<br>
<br>
This patch also updates callers.<br>
<br>
Mon Feb 4 22:21:55 EST 2008 <a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a><br>
* +doc for WindowGo.hs: I've discovered a common usecase for me for raiseMaybe<br>
</blockquote><br>Applied, thanks.<br></div>