diff options
author | 2016-09-19 14:14:23 +0200 | |
---|---|---|
committer | 2016-09-19 15:59:42 +0200 | |
commit | e12aec84ef1767d4ba9469dfb12d65d928bf0ed4 (patch) | |
tree | 72991dfc39fa814acecb4eed88ff0b24b31926c9 /ci/clean_cache.sh | |
parent | 65b7cfcd862a75be72fb98777190c49f8b6ea0d3 (diff) |
Make sure to use only up-to-date mirrors
Whitewash the geographically "close" mirrors against the list of
fully synced mirrors - we've had a few instances of getting bad
mirrors which would break the script.
All credit goes to:
https://askubuntu.com/questions/39922/how-do-you-select-the-fastest-mirror-from-the-command-line
... and we should perhaps use the netselect tool as well somewhere down
the line, but this fixes the most urgent problem.
Change-Id: Ia61a2bd78657b28019f57fc1962d410e754e6d2a
Signed-off-by: Stefan K. Berg <stefan.k.berg@ericsson.com>
Diffstat (limited to 'ci/clean_cache.sh')
0 files changed, 0 insertions, 0 deletions