- 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