-
Sessions of bash builtin command named “times”
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…