This 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