RE: Re: time command with shell builtins

[zeurkous@xxxxxxxxxxxxxxx]

On Mon, 23 Jan 2023 14:42:05 +0100, Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx> wrote:
> 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 )

Doesn't that imply a fork, which will also be timed...?

(Could lead to misleading results, in that case.)

         --zeurkous.

> Roman.

-- 
Friggin' Machines!