Normalmente, para solucionar problemas de DNS, faço o seguinte:
- Verifique se um servidor DNS público (como o 8.8.8.8 do Google) está acessível:
ping 8.8.8.8
(IIUC isso funciona para você)
- Tente resolver um nome para ver se as consultas DNS podem alcançá-lo (o firewall da universidade pode bloqueá-las ou interferir de outras maneiras):
dig google.com @8.8.8.8
ou
host google.com 8.8.8.8
Se isso não funcionar, você não poderá usar o 8.8.8.8 como um servidor DNS.
- Verifique se o sistema está de fato configurado para resolver nomes por meio de 8.8.8.8 (já que você disse que o configurou estaticamente no Network Manager):
cat /etc/resolv.conf
Você deve ver algo como:
# 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
nameserver 8.8.8.8
Se não for esse o caso, eu verificaria a configuração do NetworkManager novamente.
Para uma correção rápida e suja, você também pode editar esse arquivo, mas lembre-se de que o NetworkManager ou outros programas o sobrescreverão na próxima vez que você se reconectar (o que ocorrerá mais cedo do que você imagina). Por isso, é melhor configurá-lo no NetworkManager.
- Verifique se você pode realmente resolver os nomes necessários com esse servidor DNS.
Geralmente, o uso de servidores DNS externos é OK, exceto quando há máquinas no campus da sua universidade que usam endereços IP privados. Esses não podem ser resolvidos através de servidores DNS externos. Então, você realmente precisa usar o servidor DNS da sua universidade.
Nesse caso, você pode deixar os servidores DNS como não configurados no NetworkManager e eles devem pegá-los no DHCP. Se isso não acontecer, você pode solucionar o problema ou simplesmente copiar a configuração de DNS de outra máquina que funcione e configurá-la estaticamente no NetworkManager.