Bom dia a todos. Desde que o Ubuntu descontinuou sistemas 32, eu uso Linux Mint 19.3 Tricia em um computador antigo com o BIOS sem bateria (o pessoal de manutenção desconversa quando peço para trocar a bateria). Como o computador precisa atualizar o horário toda vez que liga, configurei Data/Hora do Sistema para "Manter sincronizado com servidores na Internet". Porém, com alguma frequência o sistema não atualiza o horário quando entro na internet, o que impede navegar em vários sites que ficam conferindo esse horário. Quando esse problema ocorre, eu mudo a configuração de horário para manual e volto para "Manter sincronizado..."; porém, algumas vezes esse "quebra-galho" não funciona, e tenho que ajustar o horário manualmente. Alguém sabe porque essa sincronização nem sempre funciona, ou eventualmente demora para acontecer? Existe algum comando que eu possa usar para atualizar o horário quando necessário?