Re: \timing interval

>>>>> "Tom" == Tom Lane <tgl@sss.pgh.pa.us> writes:
> Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:>> I'm not quite sure what you mean by wanting to do
arithmeticon 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 sameTom> query several times and then want to average
theresults.  That'sTom> easy with awk or similar scripts as long as the numbers are inTom> straight decimal.
 
Tom> I don't mind if we provide a way to print in Babylonian-inspiredTom> notation(s) as well, but I'm going to be
seriouslyannoyed ifTom> that's the only way to get the output.
 

How about

Time: 1234567.666 ms (20m 34.6s)

?

-- 
Andrew (irc:RhodiumToad)