Re: [gambit-list] running remote jobs with `time'

On Feb 21, 2005, at 12:21 AM, Bill Richter wrote:

So to me, the manual says that

% gsi -:- 6.scm > six-out

should print the time info as well as the output 6 to the file "six-out". But it doesn't:

(banach)PolyTree> gsi -:- 6.scm > six (time (pretty-print 6)) 0 ms real time 0 ms cpu time (0 user, 0 system) no collections 104 bytes allocated no minor faults 5 major faults (banach)PolyTree> more six-out 6

I think the manual may be in error; I think the time info goes to stderr, not stdout. If you're using csh or tcsh, you can try

gsi -:- 6.scm >& six

I don't know how to do it with bash or /bin/sh.

Brad