$ echo $BASH_VERSION 5.3.3(1)-release $ time true real 0m0.000s user 0m0.000s sys 0m0.000s
`time' is a reserved word, not a shell builtin.
$ FOO=bar time true 0.00user 0.00system 0:00.00elapsed 100%CPU (0avgtext+0avgdata 968maxresident)k 0inputs+0outputs (0major+76minor)pagefaults 0swaps
If you precede a reserved word with a variable assignment, it's not recognized as a reserved word. You run the `/usr/bin/time' binary.
$ FOO=bar time : time: cannot run :: No such file or directory
The external `time' binary cannot run a shell builtin.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
OpenPGP_signature.asc
Description: OpenPGP digital signature
