[Résolu] Changer de serveur de temps

[algao]

Bonjour,

Je viens seulement de passer sous Windows 10. Et j’ai un souci avec la synchronisation de l’heure.

Je ne sais pourquoi le serveur times.windows.com refuse de fonctionner chez moi. Sous Windows 7 j’avais remplacé ce serveur par pool.ntp.org et tout fonctionnait à merveille.

Par contre sous Windows 10 je n’arrive pas à changer de serveur. L'indication "times.windows.com" apparait en grisé et on ne peut pas la modifier.

Et contrairement aux appareils mobiles on ne peut pas non plus lui dire de se synchroniser sur le réseau (lui aussi est sur pool.ntp.org).

Merci d’avance pour votre aide

Modifié le 17 avril 2020 par algao

[algao]

Bonjour,

Je vous informe que j'ai résolu mon problème. J'ai osé la base de registre et remplacé les 4 occurrences de "time.windows.com" par "pool.ntp.org" et j'étais à peine sorti de la base de registre que la synchronisation était déjà faite.

Il ne subsiste qu'un léger souci. Sous w7 le système indiquait "Prochaine synchronisation le xx à xx heures. Mais en fait la synchronisation se faisait à chaque démarrage du PC. Ici pas de message du genre et pas de synchro au démarrage, il faut cliquer le bouton. Je vais attendre quelques jours pour voir.