Je suis récemment passé à Ubuntu 15.10.
Je dois utiliser un proxy pour me connecter à Internet externe et sur mon Internet local, il y a un dépôt qui ne nécessite pas de proxy pour se connecter.
J'ai donc écrit quelque chose comme ça dans /etc/apt/apt.conf.d/proxy
Acquire::http::Proxy::google.com "http://XXX:8087";
Acquire::http::Proxy::spotify.com "http://XXX:8087";
Malheureusement, cela ne fonctionne pas, la mise à jour apt-get indique qu'il n'a pas réussi à se connecter à Google Spotify. J'ai également essayé de le changer.
Acquire::http::Proxy "http://XXX:8087";
Je peux me connecter à Google et Spotify maintenant, mais je ne peux pas me connecter à mon référentiel local. N'y a-t-il pas une meilleure solution de contournement?
Créez un fichier: /etc/apt/apt.conf.d/99proxy
et insérez dans ce fichier:
Acquire::http::Proxy {
your.local.repository DIRECT;
};
Cela indique à apt d'utiliser une connexion directe (donc pas via proxy) pour accéder à votre référentiel local.
Changement your.local.repository
à l'emplacement correct de votre référentiel local.