2016-07-09 18:59 GMT+02:00 Tom Lane <t...@sss.pgh.pa.us>: > Peter Eisentraut <peter.eisentr...@2ndquadrant.com> writes: > > On 7/7/16 5:52 PM, Corey Huinker wrote: > >> Wouldn't it be great if we had a way of printing timing in more human > >> friendly formats? > > > Something like what you are proposing might as well be the default and > > only format. > > NAK --- if you're trying to do arithmetic on the numbers, converting > them to hh:mm:ss notation isn't the best first step. I think a separate > setting somewhere to select the format would be good. Please *don't* > do "\timing interval" as that confuses the on/off state with the > formatting selection. Maybe a \pset option? > > \pset is good idea
> Also, might I suggest that leading zeroes in such a format are not > helpful? That is, I'd want to see "1:02.345" not "00:01:02.345". > the value without units and without leading zeroes is not clear Regards Pavel > > regards, tom lane > > > -- > Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) > To make changes to your subscription: > http://www.postgresql.org/mailpref/pgsql-hackers >
