我的大学校园在本地服务器上有 Ubuntu Repos。
另外，我们使用代理服务器连接到互联网。
现在，我的存储库是校园本地服务器，但我的系统中确实安装了很多 PPA。
当我apt-get update通过代理服务器执行操作时，甚至与本地服务器的连接也需要通过代理服务器，这使得整个过程非常慢。
如果我不使用代理服务器，那么 PPA 就不会更新。
我该怎么做apt-get update，以便只有 PPA 使用代理服务器，而其他 Repos 直接从本地服务器进行更新，而无需通过代理服务器。
答案1
这是否有意义 - 禁用代理并update-upgrade获取存储库升级，然后为 PPA 启用代理 - 您可以使用$http_proxyenv var 编写脚本。
编辑：这种方法仍然不够好。这个帖子 建议另一个想法。也许您可以在本地设置自己的代理，并且该代理可以将除本地服务器之外的所有 URL 重定向到大学。