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

[Anthony via Digitalmars-d-learn]

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);
    }
```