Uma vez que eu encontrei este problema, eu tenho pesquisado por um tempo, e descobri que isso pode ser problema DNS. Ao ler este post, eu aprendi que há várias maneiras de adicionar ou substituir os servidores DNS fornecidos pela rede, mas nenhuma das soluções pareceu funcionar. Como o usuário brad mencionou, o dns ainda está sendo controlado pelo dnsmasq.
Agora, ao explorar os arquivos de configuração em /etc/ , encontrei o arquivo /etc/NetworkManager/NetworkManager.conf , que tinha as seguintes informações:
[main]
plugins=ifupdown,keyfile,ofono
dns=dnsmasq
[ifupdown]
managed=false
Eu mudei a linha dns , e agora o arquivo é assim:
[main]
plugins=ifupdown,keyfile,ofono
#dns=dnsmasq
dns=208.67.222.222
[ifupdown]
managed=false
Após reiniciar o Network Manager com sudo service network-manager restart , tudo começou a funcionar corretamente e a solução ainda funciona após a reinicialização.
Nota: 208.67.222.222 é um servidor público OpenDNS.
O que pode ter acontecido:
Enquanto na rede, a saída de nm-tool era a seguinte:
DNS: 4.2.2.2
DNS: 8.8.8.8
DNS: 164.47.7.10
DNS: 164.47.7.11
Eu acredito, meu uni tem seu próprio servidor DNS, que é 164.47.7.11 e .10, e dnsmasq consulta o mais próximo, então meus pedidos nunca chegaram a 8.8.8.8.
Espero que essas soluções ajudem outros usuários e, por favor, deixe-me saber se a minha solução para esse problema é válida, segura ou razoável o suficiente.
Respondendo a minha própria pergunta:
Eu estou fazendo isso para tornar esta solução pública e documentada, pelo menos para o meu caso particular. Também gostaria de fazer referência a este post em meta.askubuntu.com.
Atualizar :
Tendo voltado para casa hoje, descobri que não conseguia me conectar ao meu wifi doméstico. Eu li um pouco sobre man NetworkManager.conf e acontece que dns= in [main] é na verdade uma linha para plug-ins, então a linha dns=dnsmasq está realmente adicionando o plugin dnsmasq ao gerenciador de rede, aparentemente. Então, minha solução ainda funcionou, não como esperado. Veja o trecho da man page:
Então, definindo dns=208.67.222.222 eu posso ter, basicamente, impedido que o gerenciador de rede usasse esse plug-in, que de outra forma usaria o servidor dns local (o que aparentemente não funciona).
Atualização nº 2 :
O que eu fiz até agora é comentar o dnsmasq e abandonar o DNS do meu provedor de serviços de internet. Agora, dizer ao Network Manager é explicado em este post, e é um método GUI: basta abrir o Indicador do Network Manager, selecione "Editar conexões", abra o nome da sua rede pressionando "Editar" e, na guia Configurações do IPv4, escolha "Somente endereços automáticos (DHCP)".
A mesma coisa pode ser feita na linha de comando, editando um arquivo para sua conexão específica armazenada em /etc/NetworkManager/system-connections .
Abaixo está a parte relevante do meu arquivo de conexão:
[ipv4]
method=auto
dns=208.67.222.222;
ignore-auto-dns=true
[ipv6]
method=auto
Agora, com todas essas configurações (comentamos o plug-in dsnmaq do NetworkManager.conf e a conexão definida para endereços Automatic (DHCP) somente), basicamente consegui tudo o que eu estava tentando fazer - recebo meu máquina de conectar por nomes de domínio, e de alguma forma contornar usando o servidor de DNS da universidade, porque aquele wone me levou a lugar nenhum.
nm-tool confirma que estou usando o DNS que eu queria, bem como dig google.com e /etc/resolv.conf .
Esta é a última atualização desta pergunta / resposta e não pretendo adicionar mais nada, mas sinta-se à vontade para adicionar informações relevantes como uma resposta em separado ou em comentários, bem como sugestões.
Espero que isso ajude a outros usuários do Ubuntu e usuários do Linux em geral!
''