resolv.conf broken :-(

[Karl Auer]

Hi all.

At some point that I sadly cannot identify, /etc/resolv.conf stopped
being created/updated by network manager on my Ubuntu 12.04 system. The
system gets an address via DHCP, and the network works just fine if I
use IP addresses or if I manually put a suitable DNS server address
in /etc/resolv.conf, but /etc/resolv.conf is not updated automatically
any more.

I have watched the DHCP exchange with wireshark. The client requests
everything it should, and the server responds with everything it should
(domain, gateway etc); I see it all arriving at the eth0 interface.
But /etc/resolv.conf changeth not. Nor is it created anew if I simply
delete it.

The problem survives a restart of Network Manager, and a complete
reboot,

I'm a bit stumped. Ideas very welcome.

Regards, K.
 
-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Karl Auer (kauer at biplane.com.au)
http://www.biplane.com.au/kauer
http://twitter.com/kauer389

GPG fingerprint: B862 FB15 FE96 4961 BC62 1A40 6239 1208 9865 5F9A
Old fingerprint: AE1D 4868 6420 AD9A A698 5251 1699 7B78 4EEE 6017