Worm.sh News # Sobre o fuso horário brasileiro e Daylight Saving Time

Boa notícia: Daylight Saving Time brasileiro já tem uma regra fixa. Ela afeta os arquivos de configuração dos fusos horários.

Más notícias: A nova regra do horário de verão tem uma exceção quando termina aos domingos de Carnaval. Oh, não! Mais exceções!

Realmente boa notícia: Receba meus Bash script para gerar regras de exceção para o fuso horário do Brasil e esquecer as atualizações em arquivos de configuração!

Decreto tenta estabelecer uma regra geral:

Em agosto, 28 de 2008, o governo brasileiro decretou uma regra geral ^* para determinar o horário de verão , praticamente colocando um fim à tradição muito criticada (particularmente por profissionais de TI) de decretos anuais para estabelecer início e datas diferentes para o fim período onde o tempo é ajustado para se obter economia de energia. De acordo com o decreto, os Estados estão sujeitos à DST:

Zoneinfo arquivos: "O Brasil / East", "America / Sao_Paulo" (GMT-3):
- Distrito Federal
- Espírito Santo
- Goiás
- Minas Gerais
- Paraná
- Rio de Janeiro
- Rio Grande do Sul
- Santa Catarina
- São Paulo
zoneinfo Arquivos: Brasil / West, America / Amazonas (GMT-4):
- Mato Grosso
- Mato Grosso do Sul

Isto significa que os arquivos de configuração da zona de tempo tem que ser definido com a configuração diferente para os seguintes Estados:

Zoneinfo arquivos: "O Brasil / East", "America / Sao_Paulo" (GMT-3):
- Alagoas
- Amapá
- Bahia
- Ceará
- Maranhão
- Pará
- Paraíba
- Pernambuco
- Piauí
- Rio Grande do Norte
- Sergipe
- Tocantins
zoneinfo Arquivos: Brasil / West, America / Amazonas (GMT-4):
- Acre
- Amazonas
- Rondônia
- Roraima

Note que os Estados incluídos no DST concentrar a grande maioria da população e os recursos de TI, e também que os fusos horários foram alterados por um decreto anterior .

^* Leia a tradução Inglês do decreto (ferramenta de tradução do Google ®).

Em suma: a regra geral:

Começa no domingo 03 de outubro, às zero horas (meia-noite de sábado), desloca uma hora antes, perdendo uma hora.
Termina no domingo 03 fevereiro, às zero horas (meia-noite de sábado), desloca uma hora de volta, ganhando a hora perdida de volta.

Agora, no GNU / Linux, isso pode ser codificado como uma regra na configuração do arquivo de fuso horário para "Brasil / East" (apenas sobre os Estados mencionados no decreto):

  Regra Brasil 2008 max - 00:00 thirdSun outubro s 01:00 S

 Regra Brasil 2009 max - Feb thirdSun 00:00 s 0 -

A Mess-Up

Isso poderia ter sido perfeito, se não fosse por um detalhe: O domingo de carnaval!

Sim, como muitos de vocês sabem, os brasileiros amam o carnaval, e todos os desfiles lindos. Aquelas são coisas realmente graves para muitas pessoas lá. E imaginar o que aconteceria se, de repente, durante um desfile que você poderia ter uma hora extra para fazer o samba?

Por mais ridículo que possa parecer, o decreto cita uma exceção, quando o fim do horário de verão coincidir com o domingo de carnaval, que é no meio do feriado de 4 dias e meio! Neste caso, o horário de verão termina no domingo seguinte.

Trazer ordem ao caos

Quando o Carnaval ocorre?

Carnaval tem uma relação com uma tradição religiosa cristã, a Quaresma , que é o período de 40 dias que precedem a Páscoa Dia. O primeiro dia da Quaresma é chamado "Ash Wednesday". Domingos são excluídos destes 40 dias, porque eles são considerados "Pascal domingos". Durante este período, as pessoas devem fazer o (jejum e oração abster-se de comer carne, celebrando e outras coisas). Assim, para se preparar para os 40 dias, as pessoas criadas para uma grande festa: o carnaval! Desta forma, o Carnaval Day é diretamente dependente Páscoa.

Quando é que a Páscoa ocorre?

Páscoa celebra a ressurreição de Jesus Cristo e é baseado em um cálculo complexo e antigo: O Computus . É uma conversão do Calendário Gregoriano, tendo em consideração as fases da Lua e Vernal Equinox . De acordo com o Computus, "... Domingo de Páscoa é o domingo seguinte à data da Lua cheia pascal. A data da Páscoa Full Moon é a data da lua cheia eclesiástica após 20 de março. "

Como colocá-lo em conjunto?

O Carnaval ocorre antes da quarta feira de cinzas, por isso é sempre terça-feira. Então tudo que você tem a fazer é voltar 49 dias da Páscoa Dia:

40 dias da Quaresma.
6 Domingos Pascal.
Três dias de quarta-feira de Cinzas do Carnaval de domingo.

Agora, verifique se ele corresponde a data de término do horário de verão. Se assim for, coloque DST que terminou em 7 dias depois.

Por exemplo: a Páscoa é celebrada em abril, 8 de 2012.

Domingo de Carnaval é comemorado em fevereiro, 19, que é o terceiro domingo e que coincide com o último dia do horário de verão. Portanto tem que haver uma exceção à regra de fuso horário para adiá-lo para o próximo domingo:

  Governar o Brasil apenas 2.012 - 26 de fevereiro 00:00 0 -

Existe uma maneira de evitar mudanças anuais no fuso horário?

Aleluia! Sim! Receba meu script Bash e vai gerar todas as regras de exceção até o final dos tempos, de modo que você compilar Brasil / fuso horário do leste arquivo apenas uma vez!