Wie kann ich meinen DNS-Server über das Terminal unter Mac OS X ändern? [Ich brauche das, weil mein DNS mit meinem VPN nicht richtig funktioniert. Manchmal wird der DNS für meine Hauptverbindung verwendet, und manchmal wird der für das VPN festgelegte DNS verwendet (der sollte es sein).]