Mirrors
/
cosmopolitan
mirror of https://github.com/jart/cosmopolitan.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update MODE=tiny time zone list (#1167) 

I took one canonical IANA zone ID from each of the different colored
regions in this article, except those that do not observe DST and do
not have a Google office. See the "Time in Europe" Wikipedia article.

As to which canonical ID to use, this was somewhat arbitrary. Brussels
was obvious, as the de facto capital of the EU. For the rest, I mostly
just went with lexicographic ordering of the most recognizable options.

I've sorted the American zones. This Keeps the U.S. ones together but
does everything alphabetically otherwise. I've added the remaining
Canadian zones These have DST (and Newfoundland is off by a half-
hour from a UTC interval) so they cannot use Etc/. The Pacific/ zones
are sort of sorted. The Chathan Islands have been added. This is the
last of the zones I believe with a non-integer hour offset from UTC.
pull/1171/head
Jōshin 2024-05-06 16:48:49 -07:00 committed by GitHub
parent 2a1f352622
commit 317c8bc312
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 41 additions and 51 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
third_party/tz/localtime.c vendored
View File

@ -86,19 +86,21 @@ __static_yoink("usr/share/zoneinfo/Etc/GMT+11");
__static_yoink("usr/share/zoneinfo/Etc/GMT+12");
__static_yoink("usr/share/zoneinfo/America/");
__static_yoink("usr/share/zoneinfo/America/Los_Angeles"); // U.S.
__static_yoink("usr/share/zoneinfo/America/New_York"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Anchorage"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Chicago"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Denver"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Anchorage"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Los_Angeles"); // U.S.
__static_yoink("usr/share/zoneinfo/America/New_York"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Phoenix"); // U.S.
__static_yoink("usr/share/zoneinfo/America/Mexico_City"); // Mexico
__static_yoink("usr/share/zoneinfo/America/Sao_Paulo"); // Brazil
__static_yoink("usr/share/zoneinfo/America/Bogota"); // Columbia
__static_yoink("usr/share/zoneinfo/America/Lima"); // Peru
__static_yoink("usr/share/zoneinfo/America/Santiago"); // Chile
__static_yoink("usr/share/zoneinfo/America/Argentina/");
__static_yoink("usr/share/zoneinfo/America/Argentina/Buenos_Aires");
__static_yoink("usr/share/zoneinfo/America/Bogota"); // Columbia
__static_yoink("usr/share/zoneinfo/America/Halifax"); // Canada
__static_yoink("usr/share/zoneinfo/America/St_Johns"); // Canada
__static_yoink("usr/share/zoneinfo/America/Lima"); // Peru
__static_yoink("usr/share/zoneinfo/America/Mexico_City"); // Mexico
__static_yoink("usr/share/zoneinfo/America/Santiago"); // Chile
__static_yoink("usr/share/zoneinfo/America/Sao_Paulo"); // Brazil
#ifdef EMBED_EVERY_TIME_ZONE
__static_yoink("usr/share/zoneinfo/America/Adak");
__static_yoink("usr/share/zoneinfo/America/Araguaina");
@ -145,7 +147,6 @@ __static_yoink("usr/share/zoneinfo/America/Grand_Turk");
__static_yoink("usr/share/zoneinfo/America/Guatemala");
__static_yoink("usr/share/zoneinfo/America/Guayaquil");
__static_yoink("usr/share/zoneinfo/America/Guyana");
__static_yoink("usr/share/zoneinfo/America/Halifax");
__static_yoink("usr/share/zoneinfo/America/Havana");
__static_yoink("usr/share/zoneinfo/America/Hermosillo");
__static_yoink("usr/share/zoneinfo/America/Indiana/");
@ -201,7 +202,6 @@ __static_yoink("usr/share/zoneinfo/America/Santarem");
__static_yoink("usr/share/zoneinfo/America/Santo_Domingo");
__static_yoink("usr/share/zoneinfo/America/Scoresbysund");
__static_yoink("usr/share/zoneinfo/America/Sitka");
__static_yoink("usr/share/zoneinfo/America/St_Johns");
__static_yoink("usr/share/zoneinfo/America/Swift_Current");
__static_yoink("usr/share/zoneinfo/America/Tegucigalpa");
__static_yoink("usr/share/zoneinfo/America/Thule");
@ -214,36 +214,33 @@ __static_yoink("usr/share/zoneinfo/America/Yakuatt");
#endif
__static_yoink("usr/share/zoneinfo/Europe/");
__static_yoink("usr/share/zoneinfo/Europe/Zurich"); // Switzerland
__static_yoink("usr/share/zoneinfo/Europe/Dublin"); // Ireland
__static_yoink("usr/share/zoneinfo/Europe/London"); // UK
__static_yoink("usr/share/zoneinfo/Europe/Paris"); // France
__static_yoink("usr/share/zoneinfo/Europe/Berlin"); // Germany
__static_yoink("usr/share/zoneinfo/Europe/Rome"); // Italy
__static_yoink("usr/share/zoneinfo/Europe/Moscow"); // Moscow
__static_yoink("usr/share/zoneinfo/Europe/Madrid"); // Spain
__static_yoink("usr/share/zoneinfo/Europe/Warsaw"); // Poland
__static_yoink("usr/share/zoneinfo/Europe/Brussels"); // Belgium
__static_yoink("usr/share/zoneinfo/Europe/Budapest"); // Hungary
__static_yoink("usr/share/zoneinfo/Europe/Vienna"); // Austria
__static_yoink("usr/share/zoneinfo/Europe/Prague"); // Czech Republic
__static_yoink("usr/share/zoneinfo/Europe/Kyiv"); // Ukraine
__static_yoink("usr/share/zoneinfo/Europe/Bucharest"); // Romania
__static_yoink("usr/share/zoneinfo/Europe/Dublin"); // Ireland
__static_yoink("usr/share/zoneinfo/Europe/Istanbul"); // Turkey
#ifdef EMBED_EVERY_TIME_ZONE
__static_yoink("usr/share/zoneinfo/Europe/Lisbon");
__static_yoink("usr/share/zoneinfo/Europe/Athens");
__static_yoink("usr/share/zoneinfo/Europe/Andorra");
__static_yoink("usr/share/zoneinfo/Europe/Astrakhan");
__static_yoink("usr/share/zoneinfo/Europe/Athens");
__static_yoink("usr/share/zoneinfo/Europe/Belgrade");
__static_yoink("usr/share/zoneinfo/Europe/Bucharest");
__static_yoink("usr/share/zoneinfo/Europe/Berlin");
__static_yoink("usr/share/zoneinfo/Europe/Budapest");
__static_yoink("usr/share/zoneinfo/Europe/Chisinau");
__static_yoink("usr/share/zoneinfo/Europe/Gibraltar");
__static_yoink("usr/share/zoneinfo/Europe/Helsinki");
__static_yoink("usr/share/zoneinfo/Europe/Kaliningrad");
__static_yoink("usr/share/zoneinfo/Europe/Kirov");
__static_yoink("usr/share/zoneinfo/Europe/Kyiv");
__static_yoink("usr/share/zoneinfo/Europe/Lisbon");
__static_yoink("usr/share/zoneinfo/Europe/London");
__static_yoink("usr/share/zoneinfo/Europe/Madrid");
__static_yoink("usr/share/zoneinfo/Europe/Malta");
__static_yoink("usr/share/zoneinfo/Europe/Minsk");
__static_yoink("usr/share/zoneinfo/Europe/Moscow");
__static_yoink("usr/share/zoneinfo/Europe/Paris");
__static_yoink("usr/share/zoneinfo/Europe/Prague");
__static_yoink("usr/share/zoneinfo/Europe/Riga");
__static_yoink("usr/share/zoneinfo/Europe/Rome");
__static_yoink("usr/share/zoneinfo/Europe/Samara");
__static_yoink("usr/share/zoneinfo/Europe/Saratov");
__static_yoink("usr/share/zoneinfo/Europe/Simferopol");
@ -251,8 +248,11 @@ __static_yoink("usr/share/zoneinfo/Europe/Sofia");
__static_yoink("usr/share/zoneinfo/Europe/Tallinn");
__static_yoink("usr/share/zoneinfo/Europe/Tirane");
__static_yoink("usr/share/zoneinfo/Europe/Ulyanovsk");
__static_yoink("usr/share/zoneinfo/Europe/Vienna");
__static_yoink("usr/share/zoneinfo/Europe/Vilnius");
__static_yoink("usr/share/zoneinfo/Europe/Volgograd");
__static_yoink("usr/share/zoneinfo/Europe/Warsaw");
__static_yoink("usr/share/zoneinfo/Europe/Zurich");
#endif
__static_yoink("usr/share/zoneinfo/Asia/");
@ -335,15 +335,15 @@ __static_yoink("usr/share/zoneinfo/Asia/Yerevan");
#endif
__static_yoink("usr/share/zoneinfo/Pacific/");
__static_yoink("usr/share/zoneinfo/Pacific/Honolulu"); // U.S.
__static_yoink("usr/share/zoneinfo/Pacific/Guam"); // U.S.
__static_yoink("usr/share/zoneinfo/Pacific/Honolulu"); // U.S.
__static_yoink("usr/share/zoneinfo/Pacific/Auckland"); // New Zealand
__static_yoink("usr/share/zoneinfo/Pacific/Chatham"); // New Zealand
__static_yoink("usr/share/zoneinfo/Pacific/Fiji"); // Fiji
__static_yoink("usr/share/zoneinfo/Pacific/Port_Moresby"); // Papua New Guinea
#ifdef EMBED_EVERY_TIME_ZONE
__static_yoink("usr/share/zoneinfo/Pacific/Apia");
__static_yoink("usr/share/zoneinfo/Pacific/Bougainville");
__static_yoink("usr/share/zoneinfo/Pacific/Chatham");
__static_yoink("usr/share/zoneinfo/Pacific/Easter");
__static_yoink("usr/share/zoneinfo/Pacific/Efate");
__static_yoink("usr/share/zoneinfo/Pacific/Fakaofo");
@ -447,14 +447,11 @@ static const struct {
{"Afghanistan Standard Time", "Asia/Kabul"}, // +0430 +0430
{"Alaskan Standard Time", "America/Anchorage"}, // -0800 AKDT
{"Arabian Standard Time", "Asia/Dubai"}, // +0400 +04
{"Arabic Standard Time", "Asia/Baghdad"}, // +0300 +03
{"Argentina Standard Time", "America/Argentina/Buenos_Aires"}, // -0300 -03
{"Bangladesh Standard Time", "Asia/Dhaka"}, // +0600 +06
{"Cen. Australia Standard Time", "Australia/Adelaide"}, // +0930 ACST
{"Central Europe Standard Time", "Europe/Budapest"}, // +0200 CEST
{"Central European Standard Time", "Europe/Warsaw"}, // +0200 CEST
{"Central Standard Time (Mexico)", "America/Mexico_City"}, // -0600 CST
{"Central Standard Time", "America/Chicago"}, // -0500 CDT
{"Central Standard Time (Mexico)", "America/Mexico_City"}, // -0600 CST
{"China Standard Time", "Asia/Shanghai"}, // +0800 CST
{"Dateline Standard Time", "Etc/GMT+12"}, // -1200 -12
{"E. Africa Standard Time", "Africa/Nairobi"}, // +0300 EAT
@ -463,7 +460,7 @@ static const struct {
{"Eastern Standard Time", "America/New_York"}, // -0400 EDT
{"Egypt Standard Time", "Africa/Cairo"}, // +0300 EEST
{"Fiji Standard Time", "Pacific/Fiji"}, // +1200 +12
{"GMT Standard Time", "Europe/London"}, // +0100 BST
{"GTB Standard Time", "Europe/Bucharest"}, // +0300 EEST
{"Hawaiian Standard Time", "Pacific/Honolulu"}, // -1000 HST
{"India Standard Time", "Asia/Kolkata"}, // +0530 IST
{"Iran Standard Time", "Asia/Tehran"}, // +0330 +0330
@ -475,8 +472,6 @@ static const struct {
{"Pacific SA Standard Time", "America/Santiago"}, // -0400 -04
{"Pacific Standard Time", "America/Los_Angeles"}, // -0700 PDT
{"Pakistan Standard Time", "Asia/Karachi"}, // +0500 PKT
{"Romance Standard Time", "Europe/Paris"}, // +0200 CEST
{"Russian Standard Time", "Europe/Moscow"}, // +0300 MSK
{"SA Pacific Standard Time", "America/Bogota"}, // -0500 -05
{"SE Asia Standard Time", "Asia/Bangkok"}, // +0700 +07
{"Singapore Standard Time", "Asia/Singapore"}, // +0800 +08
@ -493,13 +488,13 @@ static const struct {
{"UTC-11", "Etc/GMT+11"}, // -1100 -11
{"W. Australia Standard Time", "Australia/Perth"}, // +0800 AWST
{"W. Central Africa Standard Time", "Africa/Lagos"}, // +0100 WAT
{"W. Europe Standard Time", "Europe/Berlin"}, // +0200 CEST
{"West Pacific Standard Time", "Pacific/Port_Moresby"}, // +1000 +10
#ifdef EMBED_EVERY_TIME_ZONE
{"AUS Central Standard Time", "Australia/Darwin"}, // +0930 ACST
{"Aleutian Standard Time", "America/Adak"}, // -0900 HDT
{"Altai Standard Time", "Asia/Barnaul"}, // +0700 +07
{"Arab Standard Time", "Asia/Riyadh"}, // +0300 +03
{"Arabic Standard Time", "Asia/Baghdad"}, // +0300 +03
{"Astrakhan Standard Time", "Europe/Astrakhan"}, // +0400 +04
{"Atlantic Standard Time", "America/Halifax"}, // -0300 ADT
{"Aus Central W. Standard Time", "Australia/Eucla"}, // +0845 +0845
@ -514,6 +509,8 @@ static const struct {
{"Central America Standard Time", "America/Guatemala"}, // -0600 CST
{"Central Asia Standard Time", "Asia/Almaty"}, // +0500 +05
{"Central Brazilian Standard Time", "America/Cuiaba"}, // -0400 -04
{"Central Europe Standard Time", "Europe/Budapest"}, // +0200 CEST
{"Central European Standard Time", "Europe/Warsaw"}, // +0200 CEST
{"Central Pacific Standard Time", "Pacific/Guadalcanal"}, // +1100 +11
{"Chatham Islands Standard Time", "Pacific/Chatham"}, // +1245 +1245
{"Cuba Standard Time", "America/Havana"}, // -0400 CDT
@ -521,10 +518,11 @@ static const struct {
{"Easter Island Standard Time", "Pacific/Easter"}, // -0600 -06
{"Eastern Standard Time (Mexico)", "America/Cancun"}, // -0500 EST
{"Ekaterinburg Standard Time", "Asia/Yekaterinburg"}, // +0500 +05
{"FLE Standard Time", "Europe/Helsinki"}, // +0300 EEST
{"GTB Standard Time", "Europe/Bucharest"}, // +0300 EEST
{"FLE Standard Time", "Europe/Kiev"}, // +0300 EEST
{"GMT Standard Time", "Europe/London"}, // +0100 BST
{"Georgian Standard Time", "Asia/Tbilisi"}, // +0400 +04
{"Greenwich Standard Time", "Atlantic/St_Helena"}, // +0000 GMT
{"Greenland Standard Time", "America/Godthab"}, // -0100 -01
{"Greenwich Standard Time", "Atlantic/Reykjavik"}, // +0000 GMT
{"Haiti Standard Time", "America/Port-au-Prince"}, // -0400 EDT
{"Jordan Standard Time", "Asia/Amman"}, // +0300 +03
{"Kaliningrad Standard Time", "Europe/Kaliningrad"}, // +0200 EET
@ -551,9 +549,11 @@ static const struct {
{"Omsk Standard Time", "Asia/Omsk"}, // +0600 +06
{"Pacific Standard Time (Mexico)", "America/Tijuana"}, // -0700 PDT
{"Paraguay Standard Time", "America/Asuncion"}, // -0400 -04
{"Romance Standard Time", "Europe/Paris"}, // +0200 CEST
{"Russia Time Zone 10", "Asia/Srednekolymsk"}, // +1100 +11
{"Russia Time Zone 11", "Asia/Kamchatka"}, // +1200 +12
{"Russia Time Zone 3", "Europe/Samara"}, // +0400 +04
{"Russian Standard Time", "Europe/Moscow"}, // +0300 MSK
{"SA Eastern Standard Time", "America/Cayenne"}, // -0300 -03
{"SA Western Standard Time", "America/La_Paz"}, // -0400 -04
{"Saint Pierre Standard Time", "America/Miquelon"}, // -0200 -02
@ -571,6 +571,7 @@ static const struct {
{"Ulaanbaatar Standard Time", "Asia/Ulaanbaatar"}, // +0800 +08
{"Venezuela Standard Time", "America/Caracas"}, // -0400 -04
{"Vladivostok Standard Time", "Asia/Vladivostok"}, // +1000 +10
{"W. Europe Standard Time", "Europe/Berlin"}, // +0200 CEST
{"W. Mongolia Standard Time", "Asia/Hovd"}, // +0700 +07
{"West Asia Standard Time", "Asia/Tashkent"}, // +0500 +05
{"West Bank Standard Time", "Asia/Hebron"}, // +0300 EEST

13
third_party/tz/windows.py vendored
View File

@ -73,21 +73,10 @@ SUPPORTED = set((
'Etc/GMT-8',
'Etc/GMT-9',
'Etc/UTC',
'Europe/Berlin',
'Europe/Brussels',
'Europe/Budapest',
'Europe/Bucharest',
'Europe/Dublin',
'Europe/Istanbul',
'Europe/Kyiv',
'Europe/London',
'Europe/Madrid',
'Europe/Moscow',
'Europe/Paris',
'Europe/Prague',
'Europe/Rome',
'Europe/Vienna',
'Europe/Warsaw',
'Europe/Zurich',
'GMT',
'HST',
'MET',