
24 Oct
2007
24 Oct
'07
6:50 a.m.
On Tuesday 23 October 2007 19:40:04 gwern0@gmail.com wrote:
Tue Oct 23 20:13:41 EDT 2007 gwern0@gmail.com * Run.hs, SshPrompt.hs, ShellPrompt.hs: mv runInXTerm back into Run.hs per suggestions
Tue Oct 23 20:16:28 EDT 2007 gwern0@gmail.com * Run.hs: +my suggested runInTerm general function
Tue Oct 23 20:18:56 EDT 2007 gwern0@gmail.com * Run.hs: specialize runInXTerm to use runInTerm per my mailing list suggestion
Tue Oct 23 20:39:11 EDT 2007 gwern0@gmail.com * Run.hs: do my usual segregation into safe and unsafe runInTerms
Applied. I don't like these "safe" and "unsafe" names, please consider something more descriptive. Cheers, Spencer Janssen