我将 Ubuntu 13.10 与代理服务器一起使用，这需要用户 ID 和密码。
我无法运行wget命令。它返回：
Resolving sourceforge.net (sourceforge.net)... failed: Name or service not known.
wget: unable to resolve host address ‘sourceforge.net’
可以做些什么来解决这个问题？
wget ×1