diff options
Diffstat (limited to 'static/v10/man1/time.1')
| -rw-r--r-- | static/v10/man1/time.1 | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/static/v10/man1/time.1 b/static/v10/man1/time.1 new file mode 100644 index 00000000..9b959f27 --- /dev/null +++ b/static/v10/man1/time.1 @@ -0,0 +1,30 @@ +.pa 1 +.he 'TIME (I)'10/26/72'TIME (I)' +.ti 0 +NAME time -- time a command +.sp +.ti 0 +SYNOPSIS time____ command +.sp +.ti 0 +DESCRIPTION The +given command is timed; after it is complete, +time____ +prints the time spent in the system, waiting for disk, and in execution +of the command. + +The disk I/O time can be variable depending +on other activity in the system. +.sp +.ti 0 +FILES -- +.sp +.ti 0 +SEE ALSO tm (VIII) +.sp +.ti 0 +DIAGNOSTICS "?" +.br +"command terminated abnormally" +.br +"Command not found." |