murex Shell Docs

Command Reference: time

Returns the execution run time of a command or block

Description

time is an optional builtin which runs a command or block of code and returns it's running time.

Usage

time: command parameters -> <stderr>

time: { code-block } -> <stderr>

Examples

» time: sleep 5
5.000151513

» time { out "Going to sleep"; sleep 5; out "Waking up" }
Going to sleep
Waking up
5.000240977

Detail

time's output is written to STDERR. However any output and errors written by the commands executed by time will also be written to time's STDOUT and STDERR as usual.

See Also

This site is rebuilt weekly, the content is automatically generated from murex's source code. Last built on Mon May 25 06:11:51 UTC 2020 against commit aa3f3b7aa3f3b7e471543754fdcaf910d4920cad9112b91. Downloadable murex binaries are also built weekly. Current version is 0.48.0120 BETA which has been verified against 29375 tests.