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
