De acordo com decreto nº 9772/2019 assinado pelo atual presidente da república não teremos mais horário de verão no Brasil e independente de gostar ou não da mudança ela esta ai e temos que agir para resolver os problemas que ela vai gerar (e que bom que mudanças geram problemas isso garante nossos empregos). O procedimento descrito aqui foi validado em algumas máquinas Linux com Debian, Ubuntu e CentOS mas possivelmente atende a outras distribuições com algum ajuste.