SyntaxFix
Write A Post
Hire A Developer
Questions
In zsh you can use
=time ...
In bash or zsh you can use
command time ...
These (by different mechanisms) force an external command to be used.