On Mon, Mar 22, 2004 at 03:40:58PM -0800, Chris Landauer wrote: > i tried to figure out where the actual code for time is, but i can't quite > tell - it appears to be buried inside csh somewhere (it also appears that > there are several different possibilities for the data type used, depending on > some compile time parameters for the csh compilation)
There's also a standalone time(1) command which does much the same as the shell built-in 'time' but has completely different internals. % time date Tue Mar 23 17:32:39 GMT 2004 0.000u 0.003s 0:00.02 0.0% 0+0k 1+0io 5pf+0w % /usr/bin/time -h date Tue Mar 23 17:33:44 GMT 2004 0.00s real 0.00s user 0.00s sys As you can see, the resolution is lower than the builtin. With any luck the internal representation will be different and so the supported range of values may be larger. You can get hold of the other usage information for the process by adding a '-l' flag. Cheers, Matthew -- Dr Matthew J Seaman MA, D.Phil. 26 The Paddocks Savill Way PGP: http://www.infracaninophile.co.uk/pgpkey Marlow Tel: +44 1628 476614 Bucks., SL7 1TH UK
pgp00000.pgp
Description: PGP signature