В общем, делать нечего. Беру компьютер и синхронизую время с серверами в интернете. Об этом много раз написано, но всё сводится обычно к одной команде:
sudo ntpdate адрес_NTP_сервера
Подходящий сервер можно найти, например, в этом списке. Есть ещё пулы серверов. Многим, наверное, подойдёт europe.pool.ntp.org
.Всё. После синхронизации часов жить стало гораздо спокойнее. А вообще эта история ещё раз подтверждает, что доверять электронике и компьютерам ничего серьёзного нельзя.
P.S. Моя гражданская позиция проста: долой переходы с зимнего времени на летнее и обратно, да здравствует летнее время круглый год и +1 час светлого времени суток после работы! :)
P.P.S. Заодно упомяну как сменить часовой пояс (при переезде) в Debian:
$ sudo dpkg-reconfigure tzdataИногда пригождается.