1
vote
1answer
4k views

How to change time servers?

I'm behind a firewall, so I can't access pool.ntp.org or Ubuntu's own time servers directly, and I'd like to change the time servers for my system. When googling, I find references to missing manpages ...