Welche DNS-Server soll man verwenden?

edit

Die Nameserver der RBG sind

131.159.254.1
131.159.254.2

welche aus dem MWN-Netzbereich erreichbar sind.

Diese werden bei Verwendung von DHCP automatisch eingetragen.

Da wir in der Regel z.B. bei Servern empfehlen, statische IPs zu verwenden, sollten diese z.B. wie folgt eingetragen werden:

In Ubuntu 14.04 / 16.04 in der /etc/network/interfaces (statische IP):

dns-nameservers 131.159.254.1 131.159.254.2 
dns-search ma.tum.de

Oder manuell in /etc/resolv.conf:

nameserver 131.159.254.1
nameserver 131.159.254.2
search ma.tum.de
domain ma.tum.de