zsh built-in commands are removed when passing through a built-in command that spawns commands

[Antoine Pietri <antoine.pietri1@xxxxxxxxx>]

Hello,

An example is way simpler than long explanations:

% while true; do time cat; done
cat  0,00s user 0,00s system 0% cpu 0,363 total
cat  0,00s user 0,00s system 0% cpu 0,162 total
cat  0,00s user 0,00s system 0% cpu 0,168 total
cat  0,00s user 0,00s system 0% cpu 0,163 total
cat  0,00s user 0,00s system 0% cpu 0,157 total
^C
cat  0,00s user 0,00s system 0% cpu 0,195 total

It only displays the zsh "time" built-in. I also have a binary `time`
which displays a formatted output like this:

0.00user 0.00system 0:00.46elapsed 0%CPU (0avgtext+0avgdata 636maxresident)k
0inputs+0outputs (0major+206minor)pagefaults 0swaps

And zsh actually displays this kind of output when I try to time a
command which contains time:

 % time (while true; do time cat; done)
0.00user 0.00system 0:00.46elapsed 0%CPU (0avgtext+0avgdata 636maxresident)k
0inputs+0outputs (0major+206minor)pagefaults 0swaps
0.00user 0.00system 0:00.43elapsed 0%CPU (0avgtext+0avgdata 636maxresident)k
0inputs+0outputs (0major+206minor)pagefaults 0swaps
0.00user 0.00system 0:00.22elapsed 0%CPU (0avgtext+0avgdata 636maxresident)k
0inputs+0outputs (0major+207minor)pagefaults 0swaps
0.00user 0.00system 0:00.21elapsed 0%CPU (0avgtext+0avgdata 636maxresident)k
0inputs+0outputs (0major+206minor)pagefaults 0swaps
^CCommand terminated by signal 2
0.00user 0.00system 0:00.52elapsed 0%CPU (0avgtext+0avgdata 604maxresident)k
0inputs+0outputs (0major+198minor)pagefaults 0swaps

( while true; do; time cat; done; )  0,00s user 0,00s system 0% cpu 1,884 total

Only the last line is the result of an actual zsh-time, the rest is
the `time` binary.

A bit wibbly-woobly… time-y wimey ?

Regards,

-- 
Antoine Pietri