IDE hangs on startup: "proxyconnect tcp: dial tcp: lookup _: no such host"

Thank you a lot for your reply.
I have done just what you suggested, but still encoutring the same problem.
I can't change the proxy setting in the Arduino IDE since it does not start up.