ABOUT times
Print the accumulated user and system times for the shell and for processes run from the shell
[bash]
$times
0m0.063s 0m0.024s
0m0.008s 0m0.012s
$times pin
0m0.064s 0m0.025s
0m0.008s 0m0.012s
$times ping
0m0.065s 0m0.025s
0m0.008s 0m0.012s
$times –help
times: times
Display process times.
Prints the accumulated user and system times for the shell and all of its
child processes.
Exit Status:
Always succeeds.
$
[/bash]
https://www.gnu.org/software/bash/manual/html_node/Bash-Builtins.html