Re: Bug: time doesn't work on builtins

["Mark J. Reed" <markjreed@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1096 bytes --]

Absent a rewrite of the functionality to actually work on builtins, maybe
it could be modified to output a message about *time* only being supported
for external commands?

On Thu, Aug 15, 2024 at 2:52 PM Bart Schaefer <schaefer@brasslantern.com>
wrote:

> On Thu, Aug 15, 2024 at 6:15 AM Mark J. Reed <markjreed@gmail.com> wrote:
> >
> > Any attempt to time a builtin generates no output whatsoever. No
> timings, no error message.The timed command executes in the current shell
> and has its usual side-effects, but the time itself does nothing.
>
> This was last discussed in users/28740 and subsequent thread ...
>
> >> 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
>
> That isn't quite accurate ... what we'd have to do is call RUSAGE_SELF
> both before and after the builtin and subtract the former from the
> latter, there's no (other) facility to get only the internal time
> delta.
>


-- 
Mark J. Reed <markjreed@gmail.com>

[-- Attachment #2: Type: text/html, Size: 1706 bytes --]