[Top] [Prev] [Next]

time - time command execution

time cmd args...

Description

The time command is a front end to the execution of the cmd and arguments that appear on the command line. On completion of the subject program (cmd), time prints to standard error a line with the load, real time, and total times (in seconds) for the program.

The time command follows the same rules as the shell for converting cmd to the pathname of an executable module.

The load time displayed is just the value for time to load cmd. Any loads performed by cmd are included in the reported real time.

The time command is designed to act on a single command, not a command pipeline. If statistics on a pipeline are needed, the pipeline should be encapsulated into a separate script for timing. For example,


	echo 'ls | grep sh' > pipeline;  time sh pipeline

In the example above , the load value returned by time is for the loading of sh, not the subsidiary commands of the pipeline.

See Also
sh - command line interface to the Inferno system

millisec - millisecond timer in Chapter 8



[Top] [Prev] [Next]

infernosupport@lucent.com
Copyright © 1996,Lucent Technologies, Inc. All rights reserved.