Eu desativei o NetworkManager com sudo apt-get remove network-manager porque quero ter toda a configuração de rede em /etc/network/interfaces .
Após a reinicialização do sistema, vejo que cat /etc/resolv.conf está vazio.
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
Parece que o endereço do servidor DNS precisa ser configurado manualmente. Esta é a conclusão correta?
Como eu adicionaria o endereço do servidor DNS a /etc/resolv.conf ?
Sua conclusão está correta. Posso supor que você esteja configurando endereços IP estáticos? Em caso afirmativo, declare seus servidores de nomes DNS assim:
auto lo
iface lo inet loopback
auto eth0
iface eth0 inet static
address 192.168.1.100
netmask 255.255.255.0
gateway 192.168.1.1
dns-nameservers 8.8.8.8 192.168.1.1
Se você estiver usando o DHCP, o servidor DHCP deverá exibir, além dos endereços, os servidores de nomes DNS.