proxy apt-get per repository specifici?

Per favore abbi pazienza, ho cercato nel miglior modo possibile senza soluzioni apparenti.

Sono dietro il firewall della mia azienda, abbiamo un paio di server proxy che possiamo usare per uscire su Internet. Il gruppo IT della mia azienda ha gentilmente rispecchiato i principali repository Debian all'interno della WAN.

Vorrei utilizzare un paio di repository all'esterno della WAN (ovvero Internet). È possibile dire a apt-get di usare un proxy per questi e non per gli altri?

Con entrambi abilitato e un proxy definito in apt.conf, barfa sulle cose all'interno del firewall e senza un proxy definito barfa sulle fonti esterne al firewall.

C'è qualche menzione nella pagina di manuale di apt.conf, ma l'inserimento di un'istruzione proxy nel file source.list non funziona (a meno che non abbia sbagliato la sintassi).

Grazie

Jerry

Crea file /etc/apt/apt.conf.d/01proxycon contenuti come questo:

Acquire::http::Proxy::external.repo.host "http://your.proxy.host/";

Con le seguenti impostazioni, tutte le richieste http ai repository su external.repo.host verranno inoltrate tramite proxy http su your.proxy.host.