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

Re: time command with shell builtins

X-seq: zsh-users 28752
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: dominik.vogt@xxxxxx, Zsh Users <zsh-users@xxxxxxx>
Subject: Re: time command with shell builtins
Date: Mon, 23 Jan 2023 08:31:45 -0800
Archived-at: <https://zsh.org/users/28752>
In-reply-to: <Y86ZkYooJ9Kf4xCE@localhost>
List-id: <zsh-users.zsh.org>
References: <Y86OR0DCpwfSYCXU@localhost> <CAN=4vMqSxEr-K1xg+fGc9kh2qfiZ31fy7hoDBRNHXXF6pH8eEg@mail.gmail.com> <Y86ZkYooJ9Kf4xCE@localhost>

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.

References:
- time command with shell builtins
  - From: Dominik Vogt
- Re: time command with shell builtins
  - From: Roman Perepelitsa
- Re: time command with shell builtins
  - From: Dominik Vogt

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