timeReturns the execution run time of a command or block
time is an optional builtin which runs a command or
block of code and returns it’s running time.
time command parameters -> <stderr>
time { code-block } -> <stderr>
» time sleep 5
5.000151513
» time { out "Going to sleep"; sleep 5; out "Waking up" }
Going to sleep
Waking up
5.000240977
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.
exec: Runs an executablesource: Import Murex code from another file or code
blocksleep: Suspends the
shell for a number of secondsThis document was generated from builtins/core/time/time_doc.yaml.
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 Mon Oct 12 23:53:07 UTC 2026 against commit 6332fa16332fa1e89d3a5df5c6104d7f19d017367bb74f9.
Current version is 7.3.1232 (unknown) which has been verified against tests cases.