Я отключил NetworkManager с помощью sudo apt-get remove network-manager, потому что хочу иметь всю конфигурацию сети в /etc/network/interfaces.
После перезагрузки системы я вижу, что cat /etc/resolv.conf пуст.
cat /etc/resolv.conf
# Dynamic resolv.conf(5) file for glibc resolver(3) generated by resolvconf(8)
# DO NOT EDIT THIS FILE BY HAND -- YOUR CHANGES WILL BE OVERWRITTEN
Кажется, что адрес DNS-сервера необходимо настроить вручную. Это правильный вывод?
Как добавить адрес DNS-сервера в /etc/resolv.conf?