time man page on Inferno

time man page on Inferno

Man page or keyword search:
man Server 579 pages
apropos Keyword Search (all sections)
Output format

TIME(1)								       TIME(1)

NAME
       time - time command execution

SYNOPSIS
       time command [ arg ...  ]

DESCRIPTION
       Time  executes  the  command  with  the given arguments, and reports on
       standard error the command's load time, real time  for  execution,  and
       the  total, in seconds.	The load time is just the time for time itself
       to load command; loads done later by the command are  included  in  the
       real time.  To time a pipeline, use the -c option to sh(1):

	      time sh -c 'ps | grep Sh'

SOURCE
       /appl/cmd/time.b

SEE ALSO
       sh(1), sys-millisec(2)

BUGS
       There  is  no  way to measure CPU time (real or virtual) used by a com‐
       mand.

								       TIME(1)

[top]

List of man pages available for Inferno

Copyright (c) for man pages and the logo by the respective OS vendor.

For those who want to learn more, the polarhome community provides shell access and support.

[legal] [privacy] [GNU] [policy] [cookies] [netiquette] [sponsors] [FAQ]

Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................

Vote for polarhome