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