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

Bradley Lucier lucier at math.purdue.edu
Mon Feb 21 00:33:51 EST 2005


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



More information about the Gambit-list mailing list