Re: OMG
Not something one does very often, as I said, so no point scripting it. And the help for w32tm.exe is labyrinthine. Plus it seems like different flavours of Windows 10 / 11 have subtly different ways to wake up the old style control panels.
As always the pain made me think I ought to learn the "tecchy" other way, so I looked it up, but I'll forget about it when I next need to do it probably in 12 months time. I spent a hundred and fifty times longer looking up how to do on the internet it one one would with a nice, simple GUI like there was in Windows 7, where simply a click on the clock in the menu bar caused the appropriate controls appeared. Far less hassle for something incredibly important but that you very rarely have to do. OK, the old control panel way of doing it was a little clunky, but at least it was there, it was familiar, it was clustered with all the other relevant settings and labelled mostly rationally. The "new" way for all these things... Jesus wept. Network devices / Internet settings are spread across umpteen different pages and the links between them are labelled in riddles.
To set the time like a pro...
In an elevated command prompt you use (for example):
w32tm /config /manualpeerlist:192.168.1.150
Then restart the windows time service:-
net stop w32time
w32tm /unregister
w32tm /register
net start w32time
w32tm /resync
Or use services.msc to locate and restart the service...