Time: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 2: | Zeile 2: | ||
= TMP = | = TMP = | ||
$ help time | |||
time: time [-p] Pipeline | |||
Report time consumed by pipeline's execution. | |||
Execute PIPELINE and print a summary of the real time, user CPU time, | |||
and system CPU time spent executing PIPELINE when it terminates. | |||
Options: | |||
-p print the timing summary in the portable Posix format | |||
The value of the TIMEFORMAT variable is used as the output format. | |||
Exit Status: | |||
The return status is the return status of PIPELINE. | |||
$ '''whereis time''' | $ '''whereis time''' | ||
time: | time: | ||
Version vom 2. November 2022, 11:49 Uhr
TMP
$ help time time: time [-p] Pipeline Report time consumed by pipeline's execution.
Execute PIPELINE and print a summary of the real time, user CPU time, and system CPU time spent executing PIPELINE when it terminates.
Options: -p print the timing summary in the portable Posix format
The value of the TIMEFORMAT variable is used as the output format.
Exit Status: The return status is the return status of PIPELINE.
$ whereis time time: /usr/bin/time /usr/share/man/man7/time.7.gz /usr/share/man/man2/time.2.gz /usr/share/man/man1/time.1.gz /usr/share/man/man3/time.3am.gz /usr/share/info/time.info.gz
$ type time time Ist ein reserviertes Schlüsselwort der Shell.
$ whatis time time (1) - run programs and summarize system resource usage time (2) - get time in seconds time (3am) - time functions for gawk time (7) - overview of time and timers