Weird with time command verbose option

[Colin Watson]

On Thu, Jul 10, 2025 at 10:20:47PM +0200, Oliver Grawert wrote:
>ogra at styx:~$ help time
>time: time [-p] pipeline

Note that this makes "time" probably the weirdest builtin in bash.  It's 
a special part of the shell grammar, and it times the _whole pipeline_: 
"time foo | bar" does not pipe the output of "time foo" to "bar" as you 
might expect, but times "foo | bar"!  You can't write a non-builtin 
command that behaves this way.  It's exceptionally odd.

I don't have a specific recommendation associated with this, but it's 
worth knowing about.

-- 
Colin Watson (he/him)                              [cjwatson at ubuntu.com]