Se você, assim como eu, está com problemas em relação ao horário de verão em alguma máquina com distro Debian / Mint / Ubuntu no modo shell, três linhas de código resolvem seu problema.

Não se esqueça de executar os comandos como root, digitando su ou sudo antes de cada comando.

Caso a máquina esteja em um local do Brasil que não está no horário de verão:

#FAZENDO BACKUP DO ARQUIVO QUE DEFINE A HORA DO SISTEMA
$ cp /etc/localtime /etc/localtime_bkp

#COPIANDO ARQUIVO REFERENTE AO TIMEZONE DE RECIFE, SEM HORARIO DE VERAO
$ cp /usr/share/zoneinfo/America/Recife /etc/localtime

#ATUALIZANDO A HORA
$ ntpdate br.pool.ntp.org pool.ntp.org

Caso a máquina esteja em um local do Brasil que está no horário de verão:

#FAZENDO BACKUP DO ARQUIVO QUE DEFINE A HORA DO SISTEMA
$ cp /etc/localtime /etc/localtime_bkp

#COPIANDO ARQUIVO REFERENTE AO TIMEZONE DE SAO PAULO, COM HORARIO DE VERAO
$ cp /usr/share/zoneinfo/America/Sao_Paulo /etc/localtime

#ATUALIZANDO A HORA
$ ntpdate br.pool.ntp.org pool.ntp.org

Pronto, com essas 3 linhas você reajusta seu Linux no modo shell!