diff options
| author | Philip Hands <phil@hands.com> | 2016-05-11 17:28:27 +0200 |
|---|---|---|
| committer | Philip Hands <phil@hands.com> | 2016-05-11 17:28:27 +0200 |
| commit | 13a30494ac41b81a39272a8b327729487f974b71 (patch) | |
| tree | da7261449ac204bde3994ade1c30bbfd9b80ea63 /hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy | |
| parent | 6e3899e592d50701b497474c044d912f40233fcc (diff) | |
| download | jenkins.debian.net-13a30494ac41b81a39272a8b327729487f974b71.tar.xz | |
failed attempt to get proxy to work properly :-/
If telling d-i to go via the proxy, it fails to get all files at
the first attempt, and needs one to hit "Retry" after which it works.
This was an attempt to force a DNS request prior to the http requests
in the hope that it would make sure the network is ready -- didn't help
Diffstat (limited to 'hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions