Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: time command with shell builtins



On Mon, Jan 23, 2023 at 6:28 AM Dominik Vogt <dominik.vogt@xxxxxx> wrote:
>
> I just want to get timing statistics of loops either explicitly by
> prepending "time" or implicitly with REPORTTIME.

The OS facility that reports time statistics only works for a parent
process to read the stats of a child.  To work on builtins, we'd have
to rewrite that internally.




Messages sorted by: Reverse Date, Date, Thread, Author