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