我的ssh代理不知道出了什么问题，代理首页打不开，ping也ping不通，不知道是暂时的还是真的好不了，不过还好我还有一个备用的ssh代理。