yash: no such command `time' about yash HOT 3 OPEN

Thanks for the suggestion, but I recommend using one of the external time implementations, as they usually provide more information than the built-in shell versions.

The only situation where a built-in time implementation would be useful would be if you wanted to measure the time of an entire subshell, as in time (echo foo; echo bar; echo baz), which cannot be achieved directly by an external implementation. For now, you can work around this by doing time sh -c 'echo foo; echo bar; echo baz'.

from yash.

I recommend using one of the external time implementations, as they usually provide more information than the built-in shell versions

Could you please recommend good external time implementations?
Perhaps, the question deserves a wiki/FAQ entry?

/usr/bin/time on my machine reports double-digit milliseconds and above, but not single-digit milliseconds and below:

sh> /usr/bin/time sh -c 'echo hello world'
hello world
        0.00 real         0.00 user         0.00 sys

similar issue with sh time built-in:

sh> time sh -c 'echo hello world'
hello world
    0m00.00s real     0m00.00s user     0m00.00s system

As if it took no time!
Compare it to glorious fish shell time built-in:

fish> time sh -c 'echo hello world'
hello world

________________________________________________________
Executed in    3.83 millis    fish           external
   usr time   10.00 millis   10.00 millis    0.00 micros
   sys time    0.00 millis    0.00 millis    0.00 micros

it can measure other fish shell built-ins as well:

fish> time echo hello world
hello world

________________________________________________________
Executed in   21.00 micros    fish           external
   usr time    0.00 micros    0.00 micros    0.00 micros
   sys time    0.00 micros    0.00 micros    0.00 micros

please notice it goes as low as microseconds

from yash.

GNU time seems to support showing all the fields returned from getrusage.

from yash.