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's content is rebuilt automatically from murex's source code after each merge to the master branch. Downloadable murex binaries are also built with the website.

Last built on Thu Oct 13 08:08:18 UTC 2022 against commit ed6b6fced6b6fc609f4be93c5d3348695a762facfecf48f.

Current version is 2.11.2200 which has been verified against 16798 tests cases.