diff options
author | Stefan K. Berg <stefan.k.berg@ericsson.com> | 2016-09-19 14:14:23 +0200 |
---|---|---|
committer | Stefan Berg <stefan.k.berg@ericsson.com> | 2016-09-19 15:35:44 +0000 |
commit | 3618bd69b8fc88b45330dff2a698e5303602622e (patch) | |
tree | b168e378097a28b3bb7d793b9d236b6f48a8d5f6 /deploy/execution_environment.py | |
parent | f9326c161e2e8ed039499d30cced7c2553874e26 (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>
(cherry picked from commit e12aec84ef1767d4ba9469dfb12d65d928bf0ed4)
Diffstat (limited to 'deploy/execution_environment.py')
0 files changed, 0 insertions, 0 deletions