This page provides the addresses of various servers which a Tardis machine might need to use.
We have an internal caching nameserver, currently
22.214.171.124. However, other machines should be able to cope if it's down for maintenence, so we also use one of the university's servers. (Currently
126.96.36.199, but we should check if that's what we're supposed to use.)
Thus most machines have a
/etc/resolv.conf along the lines of:
search tardis.ed.ac.uk nameserver 188.8.131.52 nameserver 184.108.40.206
davison, provides other machine with an NTP service. In turn, it synchronises with the (external-facing) Informatics servers.