在 Windows 上，在需要密码身份验证的公司代理服务器后面，我尝试了R 的代理设置中列出的方法以及如何告诉 R 解释器如何使用代理服务器？. 当我尝试选择镜子时，我得到：
Warning message:
In open.connection(con, "r") : unable to resolve 'cran.r-project.org'
我很确定我的用户名和密码可以通过，因为我不再收到消息 407(?) 告诉我需要身份验证。我是通过http_proxy从控制台或 R-properties 对话框窗口中设置的值来获得的。那么，关于我还应该尝试什么的任何建议？
编辑：Spacedman：我输入了
Sys.setenv(http_proxy='username:password@proxyname.company.com:80')`
并且还在 R-properties (Windows) 对话框中尝试了相同的定义字符串。我是否在定义中包含“http://”都没有关系；80 或 8080 相同。