resolv.conf broken :-(

[Tom H]

On Mon, Aug 5, 2013 at 6:27 AM, Karl Auer <kauer at biplane.com.au> wrote:
>
> 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,

Is "/etc/resolv.conf" a symlink to "/run/resolvconf/resolv.conf"?

Does resolvconf run at boot? (It runs and exits so "ps ..." on a
running system won't determine whetehr it's run.)