如何通过Http代理用fetchmail收邮件

reinhard

在ADSL下配置好了fetchmail收取邮件成功
现在回到学校，访问外网要通过http代理
fetchmail就不行了

fetchmail: couldn't find canonical DNS name of pop.gmail.com (pop.gmail.com): Temporary failure in name resolution

学校只提供http代理。应该怎么设置fetchmail可以收取邮件呢？
还有我发邮件是使用esmtp+procmail的。同样应该怎么设置http代理呢?