Acabo de actualizar mi computadora portátil de Xubuntu 17.04 a 17.10. Después del reinicio final, DNS ha dejado de funcionar. ¡Esto es obviamente un problema! Puedo hacer ping a direcciones IP conocidas; simplemente no hay resolución DNS. No he jugado con ninguna configuración de DNS; Hasta donde...