Bash.Builtin.Times (Bash v0.6.0)

Copy Markdown View Source

times

Print the accumulated user and system times for the shell and for processes run from the shell.

The return status is zero.

Output format: user_time system_time (shell) user_time system_time (children)

Where each time is in the format NmN.NNNs (minutes and seconds).

Since the BEAM VM doesn't distinguish user vs system CPU time, we report :erlang.statistics(:runtime) elapsed since session start as user time and 0m0.000s for system time.

Reference: https://www.gnu.org/software/bash/manual/html_node/Bourne-Shell-Builtins.html#index-times