Fixing Intermittent DNS Problems on Ubuntu 12.04

I’ve been having some intermittent DNS resolution failures on my recent installation of Ubuntu 12.04. Googling showed that I’m not the only one, and the solution found here seems to be working for me:

view sourceprint?

1.sudo vi /etc/NetworkManager/NetworkManager.conf

Then comment out (by prepending a #) the line dns=dnsmasq. Finally:

view sourceprint?

1.sudo restart network-manager