Ubuntu
network-manager package

  1. Bug #107564
  2. Comment #4

Comment 4 for bug 107564

Revision history for this message
Simon Law (sfllaw) wrote :

I suspect that the correct thing for NetworkManager to do is:

IF server pushed dns info THEN
  IF resolvconf is in path THEN system(echo nameserver $NAMESERVER | resolvconf -a $INTERFACE)
  ELSE modify resolv.conf itself