I stumbled across this after installing Linux Mint 15 MATE. I had setup this system at work and suddenly found myself unable to reach hosts in the local search path. The fact that I was using this for days and then it took over the DNS settings in a way that it replaced what DHCP was handing out is entirely unacceptable.
I have taken the approach suggested in the previous comment to provide a hopefully permanent solution to this problem.
I stumbled across this after installing Linux Mint 15 MATE. I had setup this system at work and suddenly found myself unable to reach hosts in the local search path. The fact that I was using this for days and then it took over the DNS settings in a way that it replaced what DHCP was handing out is entirely unacceptable.
I have taken the approach suggested in the previous comment to provide a hopefully permanent solution to this problem.