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