This provides the addresses of various servers which a Tardis machine might need to use.
We have an internal caching nameserver, currently
18.104.22.168. 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
22.214.171.124, 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 126.96.36.199 nameserver 188.8.131.52