Few people know that you can continue to use curl when your DNS is broken. Just add

—resolve host:port:ip-address

to your command line*.

*) Yes, that about all DNS does for you. Prettty lame, right?💁🏻‍♂️