$ echo $BASH_VERSION 5.3.3(1)-release $ time true real 0m0.000s user 0m0.000s sys 0m0.000s
$ FOO=bar time true 0.00user 0.00system 0:00.00elapsed 100%CPU (0avgtext+0avgdata 968maxresident)k 0inputs+0outputs (0major+76minor)pagefaults 0swaps $ FOO=bar time : time: cannot run :: No such file or directory Command exited with non-zero status 127 0.00user 0.00system 0:00.00elapsed 79%CPU (0avgtext+0avgdata 1300maxresident)k 0inputs+0outputs (0major+37minor)pagefaults 0swaps
