On Sat, Jul 9, 2016 at 4:00 PM, Andrew Gierth <and...@tao11.riddles.org.uk>

> >>>>> "Tom" == Tom Lane <t...@sss.pgh.pa.us> writes:
>  > Peter Eisentraut <peter.eisentr...@2ndquadrant.com> writes:
>  >> I'm not quite sure what you mean by wanting to do arithmetic on the
>  >> numbers.  My phrasing of the problem is that after a long query, you
>  >> might get output like this:
>  >> Time: 1234567.666 ms
>  >> which is pretty useless.
>  Tom> What I mean by that is that not infrequently, I'll run the same
>  Tom> query several times and then want to average the results.  That's
>  Tom> easy with awk or similar scripts as long as the numbers are in
>  Tom> straight decimal.
>  Tom> I don't mind if we provide a way to print in Babylonian-inspired
>  Tom> notation(s) as well, but I'm going to be seriously annoyed if
>  Tom> that's the only way to get the output.
> How about
> Time: 1234567.666 ms (20m 34.6s)
That'd be fine too, it's not like we're doing anything with the rest of
that line.

Reply via email to