RE: Re: time command with shell builtins

[zeurkous@blaatscaahp.org]

On Mon, 23 Jan 2023 15:28:33 +0100, Dominik Vogt <dominik.vogt@gmx.de> wrote:
> On Mon, Jan 23, 2023 at 02:42:05PM +0100, Roman Perepelitsa wrote:
>> On Mon, Jan 23, 2023 at 2:40 PM Dominik Vogt <dominik.vogt@gmx.de> 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 )
>
> That wasn't really the question.  Of course I can time a loop by
> writing a different command, or by putting it in a pipe or file.
>
>   $ time echo foo | true
>
> I just want to get timing statistics of loops either explicitly by
> prepending "time" or implicitly with REPORTTIME.

That would be useful; me's bumped into this meself a couple of times
before (and applied workarounds like the one suggested by Roman).

> Ciao
>
> Dominik ^_^  ^_^
>
> =2D-
>
> Dominik Vogt

(As an aside, you might want to delimit your signature in plain text.)

         --zeurkous.

-- 
Friggin' Machines!