Title: Theory / Unimportant / CS / command line / admin / time

Instruction: time command args
Page: man
Effect: run
command args
then print how much time was spent executing it
Language: sh
Context: terminal
Returns: If terminated normally, the output. If terminated by a signal, 128+ the signal

Fla: --output=File
Effect: Put time measure in File instead of stdout
Page: man
Prefix: time
Flag abbreviation: -o File

Fla: --append
Effect: Append in the file instead of overwritting it
Page: man
Prefix: time
Flag abbreviation: -a
Assuming: output in file

Fla: --format FORMAT
Effect: Use FORMAT as the format string that controls the output of time.
Page: man
Prefix: time
Flag abbreviation: -f FORMAT

Fla: --portability
Effect: use an output format compatible with POSIX standard 1003.2
Page: man
Prefix: time
Flag abbreviation: -p

Fla: --verbose
Effect: Use the built-in verbose format, which displays each available piece of information on the program's resource use on its own line, with an English description of its meaning.
Page: man
Prefix: time
Flag abbreviation: -v

Fla: --quiet
Effect: Do not report the status of the program even if it is different from zero.
Page: man
Prefix: time

Fla: --version
Effect: Print the version number of time and exit.
Page: man
Prefix: time
Flag abbreviation: -V