Network configuration future

[Michael Cronenworth]

Dan Williams wrote:
> 'man NetworkManager' is a good place to start here, which leads you to
> NetworkManager.conf, which leads you to:
> 
> dns=dnsmasq
> 
> which with 0.9.6 and any options you put into custom configuration
> in /etc/NetworkManager/dnsmasq.d, should do exactly what you want.  The
> local caching nameserver functionality has actually been around for
> quite a few years.  Also, on per-connection basis, NM allows appending
> custom search domains to the list returned by the DHCP server, or as
> you've found you can hijack the dhclient config files to do what you
> want too.
> 
> As always, more documentation would be awesome; we've got a wiki but we
> can also add stuff to a FAQ in git too.

Would this not be more beneficial if this option was visible in the
Gnome network settings UI? What if "Network proxy" was changed to
"Network defaults" and a dns= option was added to the existing proxy
options?