Re: configure networkManager to accommodate static DNS server