I made a mistake in the instruction in comment 3 above. It should be: $ sudo rm /etc/resolv.conf $ sudo ln -s /run/NetworkManager/no-stub-resolv.conf /etc/resolv.conf
I made a mistake in the instruction in comment 3 above. It should be: ager/no- stub-resolv. conf /etc/resolv.conf
$ sudo rm /etc/resolv.conf
$ sudo ln -s /run/NetworkMan