我在我大学的代理服务器后面。它使用简单的用户名和密码验证。我将代理服务器连接到端口 3128。现在我想通过 telnet 简单地说出互联网上的任何网站，例如
$ telnet www.google.com 80
这给了我
error telnet: could not resolve www.udacity.com/80: Name or service not known
如何定义 telnet 的代理设置？我已经设置了环境变量http_proxy和HTTP_PROXY. 还应用了系统范围的代理。