How do I get the output of the time bash command?

[Marcone]

On Wednesday, 27 January 2021 at 09:35:21 UTC, Anthony wrote:
>
> I'm trying to read the timed output of a pipeShell command but 
> it only results in empty output.
>
> Does anyone know why this is?
>
>
> ```
>     auto p = pipeShell("time ls");
>
>     foreach(str; p.stdout.byLine) {
>         writefln("%s",str);
>     }
> ```

writeln(executeShell("time ls")[1]);