- From: Irene Vatton <irene.vatton@inrialpes.fr>
- Date: Wed, 10 Mar 2004 12:11:05 +0100
- To: "Charles L Flatt" <charles@softwaremeadows.com>
- Cc: www-amaya@w3.org
On Tue, 9 Mar 2004 10:52:31 -0500 (EST)
"Charles L Flatt" <charles@softwaremeadows.com> wrote:
>
>
>
>
> Version: 8.3 and 8.2+
> Platform: Windows 2000 and XP
>
> First, thanks for the $Date feature. It really helps with documentation.
> However, the documented date format is not what I get. According to the
> release notes:
>
> "The format of the inserted date is like this: $Date: 2004/03/05 16:13:05 $"
>
> But on Windows 2000 and Windows XP machines (the only systems I've tried),
> the format is this:
> $Date: Tuesday 09 March 2004 - 10:39:10$
>
> Is this due to an Amaya setting I've missed? Or the Windows locale? If the
> latter, it's not practical to change it for most users. It would be nice, of
> course, to be able to set the format, but having the documented format would
> help save space.
It depends of the locale, but you can also control the output format
with a Amaya configuration variable.
There is not a menu entry in the current version to change this variable, but
you can set it in your $AmayaHome\thot.rc file.
ISO_DATE=Yes (default value) generates "%A %d %B %Y - %H:%M:%S"
%A = The full weekday name according to the current locale.
%d = The day of the month as a decimal number (range 01 to 31).
%B = The full month name according to the current locale.
%Y = The year as a decimal number including the century.
%H = The hour as a decimal number using a 24-hour clock (range 00 to 23).
%M = The minute as a decimal number (range 00 to 59).
%S = The second as a decimal number (range 00 to 61).
ISO_DATE=No generates "%Y-%m-%d %H:%M:%S"
%Y = The year as a decimal number including the century.
%m = The month as a decimal number (range 01 to 12).
%d = The day of the month as a decimal number (range 01 to 31).
%H = The hour as a decimal number using a 24-hour clock (range 00 to 23).
%M = The minute as a decimal number (range 00 to 59).
%S = The second as a decimal number (range 00 to 61).
Did you suggest to change this second format?
>
> I'd also like to recommend an second method for setting the modified date.
> Allow the user to enclose the $date tags in comments, like so:
>
> <!--$Date:--><!--$-->
>
> Upon updating, the html is like this:
>
> <!--$Date:-->2004/03/05 16:13:05<!--$-->
>
> This way, only the date/time is shown in the document, allowing a cleaner
> presentation.
That's a good idea.
>
> --------------------------------------------------
> Charles L Flatt
> www.softwaremeadows.com
> "Hell is a half-filled auditorium." - Robert Frost
>
>
>
>
>
Irene.
-----
Irène Vatton INRIA Rhône-Alpes
INRIA ZIRST
e-mail: Irene.Vatton@inria.fr 655 avenue de l'Europe
Tel.: +33 4 76 61 53 61 Montbonnot
Fax: +33 4 76 61 52 07 38334 Saint Ismier Cedex - France
Received on Wednesday, 10 March 2004 06:11:21 UTC