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 /update_jdn.sh | |
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 'update_jdn.sh')
0 files changed, 0 insertions, 0 deletions