[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