Оказалось, что я только думал, будто бы у меня есть /etc/network/interfaces,
а в действительности его не было и сеть управлялась через NetworkManager,
поэтому, когда я его отключил, то и сеть пропала. У меня там было eth0,
а надо было enp6s0. В апплете на панели для вывода скорости уже было enp6s0.
Теперь и сеть есть и желаемый nameserver в /etc/resolv.conf появился.