mirror of
https://github.com/jart/cosmopolitan.git
synced 2025-08-05 09:20:29 +00:00
Aggressively simplify MODE=tiny EU time zones
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 at present contain a Google office: <https://en.wikipedia.org/wiki/Time_in_Europe> 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.
This commit is contained in:
parent
bc5a1f74bc
commit
2e71810ee1
1 changed files with 13 additions and 13 deletions
26
third_party/tz/localtime.c
vendored
26
third_party/tz/localtime.c
vendored
|
@ -214,36 +214,33 @@ __static_yoink("usr/share/zoneinfo/America/Yakuatt");
|
|||
#endif
|
||||
|
||||
__static_yoink("usr/share/zoneinfo/Europe/");
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Berlin"); // Germany
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Brussels"); // Belgium
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Budapest"); // Hungary
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Bucharest"); // Romania
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Dublin"); // Ireland
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Istanbul"); // Turkey
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Kyiv"); // Ukraine
|
||||
__static_yoink("usr/share/zoneinfo/Europe/London"); // UK
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Madrid"); // Spain
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Moscow"); // Moscow
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Paris"); // France
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Prague"); // Czech Republic
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Rome"); // Italy
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Vienna"); // Austria
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Warsaw"); // Poland
|
||||
__static_yoink("usr/share/zoneinfo/Europe/Zurich"); // Switzerland
|
||||
#ifdef EMBED_EVERY_TIME_ZONE
|
||||
__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/");
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue