Meu campus universitário tem o Ubuntu Repos no servidor local.
Além disso, usamos um servidor proxy para se conectar à Internet.
Agora, meu repositório é o servidor local do campus, mas eu tenho muitos PPAs instalados em meu sistema.
Quando eu faço apt-get update através do Servidor Proxy, até mesmo as conexões para o Servidor Local passam pelo Servidor Proxy, tornando todo o processo muito lento.
Se eu não usar o servidor proxy, os PPAs não serão atualizados.
Como posso fazer apt-get update , de tal forma que somente os PPAs usem o Proxy Server, e os outros Repos sejam atualizados diretamente do Servidor Local sem passar pelo Servidor Proxy.
Isso faz sentido - Desative o proxy e update-upgrade para obter as atualizações do repositório e, em seguida, ative o proxy para os PPAs - você pode criar scripts usando o $http_proxy env var.
Editar: esse método ainda não é bom o suficiente. Este post sugere outra ideia. Talvez você possa configurar um proxy localmente, e esse proxy pode redirecionar para a universidade para todos os URLs, exceto para o seu servidor local.