On Thu, 16 May 2019, Joel Carnat wrote:
> On Thu 16/05 08:55, Paco Esteban wrote:
> > Can't say about your VM. On my desktop:
> >
> > $ time (khard list | wc -l)
> > 104
> > ( khard list | wc -l; ) 0.51s user 0.25s system 97% cpu 0.779 total
> >
>
> Is this on OpenBSD ? The time output looks different.
Of course it is ... (-current though)
That should be zsh that uses an internal builtin instead of
/usr/bin/time I guess (did not check).
Here it is on ksh with base time:
$ time (khard list | wc -l)
104
0m00.81s real 0m00.59s user 0m00.21s system
Interestingly a bit slower.
Cheers,
--
Paco Esteban.
https://onna.be/gpgkey.asc
9A6B 6083 AD9E FDC2 0EAF 5CB3 5818 130B 8A6D BC03