Re: Increasing "time" command precision

["Thomas Schmitt" <scdbackup@gmx.net>]

Hi,

Greg Wooledge wrote:
>  * TIMEFORMAT=... time foo       will invoke /usr/bin/time, but
>    TIMEFORMAT=... eval time foo  will use the builtin.

I wonder about the formal reason for this.

Is it because "time" is not listed in the man page under
SHELL BUILTIN COMMANDS but mentioned as "reserved word" under Pipelines ?
Does the variable assignment before "time" cause the rest of the line
to be regarded as Simple Command rather than as Pipeline ?


Have a nice day :)

Thomas