I'm forwarding this message from Leonardo Ferreira, who is not on the time zone mailing list. Those of you who are on the list, please direct replies appropriately. (There are no plans to add an America/Brasilia alias. If it's any consolation, the United States is in a similar boat--the time zone I'm in is named America/New_York rather than America/Washington_DC. --ado From: Leonardo Ferreira Fontenelle [mailto:leonardof@gnome.org] Sent: Sunday, April 18, 2010 10:36 To: tz@lecserver.nci.nih.gov Subject: Creating an alias to America/Sao_Paulo I am a GNOME trasnlator, and I received an e-mail from an user about the choice of the São Paulo city as the name for the corresponding time zone. I understand this is the most populous city, but he made a good point: in Brazil we call this time zone "Brasília time". Brasília has been our country capital for 50 years, since the government finished building it for this specific purpose. There's no chance the city will lose this the status for the next decades, because no one has any good reason for that. So, I'd like to know if there's any chance of creating America/Brasilia as an alias to America/Sao_Paulo. Thanks!
Olson, Arthur David (NIH/NCI) [E] escribió el 19/04/10 15:28:
I'm forwarding this message from Leonardo Ferreira, who is not on the time zone mailing list. Those of you who are on the list, please direct replies appropriately.
(There are no plans to add an America/Brasilia alias. If it's any consolation, the United States is in a similar boat--the time zone I'm in is named America/New_York rather than America/Washington_DC.
--ado
From: Leonardo Ferreira Fontenelle [mailto:leonardof@gnome.org] Sent: Sunday, April 18, 2010 10:36 To: tz@lecserver.nci.nih.gov Subject: Creating an alias to America/Sao_Paulo
I am a GNOME trasnlator, and I received an e-mail from an user about the choice of the São Paulo city as the name for the corresponding time zone. I understand this is the most populous city, but he made a good point: in Brazil we call this time zone "Brasília time".
Brasília has been our country capital for 50 years, since the government finished building it for this specific purpose. There's no chance the city will lose this the status for the next decades, because no one has any good reason for that. So, I'd like to know if there's any chance of creating America/Brasilia as an alias to America/Sao_Paulo.
Thanks!
Leonardo, as ADO states above your message, there's no reason to change America/Sao_Paulo by America/Brasilia (or, for that matter, add an alias), since they both observed the same timezone rules since 1970 and Sao Paulo is the city with the most population in that zone in the same country (roughly 4 times more populated than Brasilia). It doesn't matter whether one is more politically important than the other. Take a look at the "Theory" file within tzcode2010f.tar.gz in the section called "Names of time zone rule files" for which rules are used (and why) to select a time zone name. Regards. -- Mariano Absatz - "El Baby" baby@baby.com.ar www.clueless.com.ar -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- I don't suffer from insanity. I enjoy every minute of it. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- * TagZilla 0.066 * http://tagzilla.mozdev.org
participants (2)
-
Mariano Absatz - El Baby -
Olson, Arthur David (NIH/NCI) [E]