Re: NetworkManager and PEERDNS=no