Re: GUC time unit spelling a bit inconsistent
Greg Stark <stark@enterprisedb.com>
From: Gregory Stark <stark@enterprisedb.com>
To: "Peter Eisentraut" <peter_e@gmx.net>
Cc: "Tom Lane" <tgl@sss.pgh.pa.us>, <pgsql-hackers@postgresql.org>
Date: 2007-06-18T18:32:07Z
Lists: pgsql-hackers
"Peter Eisentraut" <peter_e@gmx.net> writes: > I'm pretty sure a lot of people would initially be confused why anyone would > write time in meters, let alone those that might associate it with memory > units. In my subjective view (and I acknowledge that we have all been > educated in different ways), writing "1m" for a time quantity is meaningless > and an error. That's an argument for why Postgres maybe shouldn't print times with "m" for minutes -- though I for one would prefer it. Or why it might not be a particularly good idea for a sysadmin to use "m" given the choice. But to argue that Postgres should refuse "m" when presented with it you would have to say there's a substantial chance that the user didn't mean minutes and that there was a risk Postgres would do something bad that outweighs giving users who do want minutes getting what they want. Frankly, I think I see "m" as an abbreviation for minutes *more* often than "min" anyways. I see times written as 2h30m quite frequently and then there's precedent like this: $ time echo real 0m0.000s user 0m0.000s sys 0m0.000s -- Gregory Stark EnterpriseDB http://www.enterprisedb.com