ping: cannot resolve bad.example.com: Unknown host
