After my upgrade to 12.10, DNS resolution seems to fail for both local and external addresses. I can successfully ping local and external IP addresses (google.com, at least), but pinging DNS names immediately returns ping: unknown host <hostname> . Connection Information seems to list the correct DNS servers (which I can ping successfully), and changing to Google Public DNS produces similar results. What should I fuss with to try to fix this?