Re: \timing interval

On Sat, Jul 9, 2016 at 4:00 PM, Andrew Gierth <andrew(at)tao11(dot)riddles(dot)org(dot)uk>
wrote:

> >>>>> "Tom" == Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
>
> > Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)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.