ppm中如何设置代理下载模块

ppm中如何设置代理下载模块

ppm中如何设置代理下载模块
入题
我是校园网内,需要通过代理才能出国外
在ppm中install 模块得时候,出现以下错误

Error: No valid repositories:
Error: 500 Can't connect to ppm.ActiveState.com:80 (connect: Unknown error)
Error: 500 Can't connect to ppm.ActiveState.com:80 (connect: Unknown error)

请问在ppm中能设置代理下载吗?
在环境变量里面添加三个系.
在环境变量里面添加三个系统变量:
HTTP_proxy(带上端口号)
HTTP_proxy_pass
HTTP_proxy_user
后两个是如果你的代理服务器需要身份验证的话
Thanks very much.
Thanks very much