ping: cannot resolve github.com: Unknown host 調査内容 なぜ名前解決できるのに ping が疎通しないかを調べたところ、 nslookup や dig は DNS サーバに問い合わせるのに対し、 ping や curl は mDNSResponder に問い合わせるのが理由のようでした(Ask Different: DNS Resolution Fails for ping ...