Re: time command with shell builtins

[Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>]

On Mon, Jan 23, 2023 at 2:40 PM Dominik Vogt <dominik.vogt@xxxxxx> wrote:
>
> Is it possible to get timing statistics of shell builtins too?
> Timing "echo" isn't very interesting, but timing loop constructs
> would be:
>
>   $ time while foo; do bar done

This:

    % time ( while foo; do bar; done )

Roman.