Configurando timezone no Linux

Nessa semana tivemos alguns contratempos para instalar um linux em um servidor, graças a sei lá o quê, depois de 4 tentativas de um amigo, ele conseguiu instalá-lo. Mas mesmo assim, ainda tivemos um pequeno problema, não foi possível configurar corretamente o timezone e tive que fazê-lo manualmente após a instalação. Deixo aqui o que é necessário fazer para modificá-lo, pelo menos da maneira que eu precisei.

# ln -sf /usr/share/zoneinfo/America/Sao_Paulo /etc/localtime-copied-from

# cp -rf /usr/share/zoneinfo/America/Sao_Paulo /etc/localtime