Nach meinem Upgrade auf 12.10 scheint die DNS-Auflösung sowohl für lokale als auch für externe Adressen fehlzuschlagen. Ich kann lokale und externe IP-Adressen erfolgreich pingen (zumindest google.com), aber Ping-DNS-Namen werden sofort zurückgegeben ping: unknown host <hostname>
. Die Verbindungsinformationen scheinen die richtigen DNS-Server aufzulisten (die ich erfolgreich anpingen kann), und der Wechsel zu Google Public DNS führt zu ähnlichen Ergebnissen. Womit sollte ich mich beschäftigen, um dies zu beheben?