如何在Olson数据库文件中修复2018年巴西夏令时(夏季时间)？

Question

巴西政府刚刚颁布了一项法律，将巴西夏令开始在当地称为夏令。

这个新的DST日期将在下个月生效，更确切地说是2018年11月18日。因此，我们将没有足够的时间通过操作系统更新等待新的Olson更新，下载一个新的Olson数据库包也不够。

我已经从tzdb-2018e.tar.tz下载了https://www.iana.org/time-zones文件。在该包中，我找到了文件southamerica，并找到了以下条目：

...
# From Steffen Thorsen (2017-12-18):
# According to many media sources, next year's DST start in Brazil will move to
# the first Sunday of November, and it will stay like that for the years after.
# ... https://www.timeanddate.com/news/time/brazil-delays-dst-2018.html
# From Steffen Thorsen (2017-12-20):
# http://www.planalto.gov.br/ccivil_03/_ato2015-2018/2017/decreto/D9242.htm
Rule    Brazil  2018    max -   Nov Sun>=1  0:00    1:00    -
Rule    Brazil  2023    only    -   Feb Sun>=22 0:00    0   -
...

2018年入境规则之前的评论与2017年年底的旧法律相符，但有一项新法律将其移至2018年11月的第3个星期日。

如何修正奥尔森的条目，把它移到11月的第三个星期日？我已经试过Sun>=3了，但没有成功。

Answer 1

您需要指定Sun>=15：第三个星期日是第一个星期日，也是一个月中的第十五天或更长的一天。

过去，通过发行版更新已经成功地处理了这种最后一分钟的更改；很有可能很快就会有更新。(当然，这对现在需要处理11月约会的人没有任何帮助。)

Answer 2

你可以从github得到它实际上，它已经修改了5天前。

参见https://github.com/eggert/tz/blob/master/southamerica以获得southamerica tz文件

以及相关提交的https://github.com/eggert/tz/commit/efda0562d7fc7bc90b6cab76998fab8b4953e056

巴西南部两周后，即2018年开始DST *新闻:请提及这一点。*南美洲(巴西)：新规则仅适用于2018年春季。埃格特5天前

 - Rule Brazil  2018    max -   Nov Sun>=1  0:00    1:00    -
 + # From Fábio Gomes (2018-10-04):
 + # The Brazilian president just announced a new change on this year DST.
 + # It was scheduled to start on November 4th and it was changed to November 18th.
 + # From Paul Eggert (2018-10-04):
 + # This attempts to avoid confusion during the November 4 and 11 national high
 + # school exams, which were mis-scheduled.  Guess that it's just this year.
 + Rule Brazil  2018    only   -    Nov Sun>=15 0:00    1:00    -
 + Rule Brazil  2019    max    -    Nov Sun>=1  0:00    1:00    -

至于在正式TZ表中发布新的更新-又名2008 f：

tz的另一个改变在巴西DST时间保罗埃格特埃格特在cs.ucla.edu清华10月4日15:37:17世界协调世界时2018年我刚刚更新了开发版本https://github.com/eggert/tz附加补丁，你现在可以使用它，如果你愿意。我想计划在总统令发布后不久发布一个新的tzdb版本(在发生这种情况时请告诉我)。