DNSのアドレスが変更になったと聞いて, ネットワーク接続の編集からDNSを修正したが, 効果がない. 教えてもらうと/etc/resolv.confにnameserverが直書かれていて, それが昔のままになっていた. これも書き直すと問題なく動作した. このファイルって自動的に…