On 7/22/08, van Nek <van.nek at arcor.de> wrote:
> (%i1) timedate();
> (%o1) 23:05:43 Tue, 7/22/2008 (GMT+1)
>
> should be 00:05:43 Wed, 7/23/2008 (GMT+1)
Does anyone mind if I change timedate so that it outputs a
string in ISO 8601 format [1] instead of the format shown above?
The proposed output would be "2008-07-22 23:05:43+01:00"
for the example at hand.
The proposed format sorts lexicographically, is easier to parse
programmatically, and is more widely understood
(the "middle-endian" format 7/22/2008 is an Americanism).
I'm not all that crazy about allowing a user-specified format;
I 'd rather pick one workable format and just use it.
Thanks for your comments.
Robert Dodier
[1] http://en.wikipedia.org/wiki/ISO_8601