On 2/3/18 8:47 PM, Ambrose Feinstein wrote:
> I was surprised to discover this:
>
> $ time ./bash -c : $(seq 1000)
> 0.01s wall 0.00s user 0.00s system
> $ time ./bash -c : $(seq 1)
> 0.40s wall 0.39s user 0.00s system
> $ time ./bash -c : $(seq 2)
> 1.32s wall 1.31s user 0.01s system
> $
I was surprised to discover this:
$ time ./bash -c : $(seq 1000)
0.01s wall 0.00s user 0.00s system
$ time ./bash -c : $(seq 1)
0.40s wall 0.39s user 0.00s system
$ time ./bash -c : $(seq 2)
1.32s wall 1.31s user 0.01s system
$ time ./bash -c : $(seq 4)
4.57s wall 4.54s user 0.02s syst