diff options
-rwxr-xr-x | jenkins-scripts/basic_settings.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh index 37ca057d0..77904965a 100755 --- a/jenkins-scripts/basic_settings.sh +++ b/jenkins-scripts/basic_settings.sh @@ -17,6 +17,9 @@ case "$(facter operatingsystem)" in # attach to the fd.io.dev apt repo echo 'deb http://nexus.fd.io/content/repositories/fd.io.dev/ ./' >> /etc/apt/sources.list + + # Configure Ubuntu mirror + perl -pi -e 'unless(m{(security|fd\.io)}){ s{://[^/]+/}{://ca.archive.ubuntu.com/} }' /etc/apt/sources.list ;; *) # Do nothing on other distros for now |