Timing

time-function is the standalone version of the Job Control meta-command time.

function time-function proc [args]

Report the Real, User and System time for the invocation of

proc [args]

The report format is defined in TIMEFORMAT.

The result of calling proc is returned.

This takes after Bash’s time_command

See also

time-function-rus

function time-function-rus proc [args]

Return a list of the result and Real, User and System time for the invocation of

proc [args]

The Real, User and System times are C struct timevals.

This takes after Bash’s time_command

See also

time-function

function times

Report the User and System time for the shell and its children

function hms t

return a normalized H:MM:SS[.mmm] for t

Param t:

time

Type t:

number

Return:

normalised form

Rtype:

string

H: and MM: are only added if the less significant component overruns (ie. is greater than 60).

Last built at 2024-05-17T06:10:49Z+0000 from 62cca4c (dev) for Idio 0.3.b.6