那可以先从elisp基础学起
如果是想让gnus用代理的话，建议查查gnus的代理配置，而不是用with-proxy。with-proxy不是干这个用的。还有楼主说的url-proxy-services也可以看看