diff options
author | 2017-10-27 09:28:52 +0200 | |
---|---|---|
committer | 2017-10-27 09:28:52 +0200 | |
commit | 21c6405dea681e7880ac96f37208491bfd603d45 (patch) | |
tree | c4e9bfb10b0c7c2ad7ac3252685f5285b9e4cb3e /tools/internal_ci | |
parent | 5506d846b5b42876c463e792500be381dd0d2b04 (diff) | |
parent | f568c0a07e965a34db3205a77e6a17826266261e (diff) |
Merge pull request #13157 from jtattermusch/docker_faster_pulls
User GCR mirror for pulling docker images
Diffstat (limited to 'tools/internal_ci')
-rw-r--r-- | tools/internal_ci/helper_scripts/prepare_build_linux_rc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/internal_ci/helper_scripts/prepare_build_linux_rc b/tools/internal_ci/helper_scripts/prepare_build_linux_rc index ea2a17f2bc..8715d6c8e0 100644 --- a/tools/internal_ci/helper_scripts/prepare_build_linux_rc +++ b/tools/internal_ci/helper_scripts/prepare_build_linux_rc @@ -22,6 +22,9 @@ ulimit -n 32768 # Move docker's storage location to scratch disk so we don't run out of space. echo 'DOCKER_OPTS="${DOCKER_OPTS} --graph=/tmpfs/docker"' | sudo tee --append /etc/default/docker +# Use container registry mirror for pulling docker images (should make downloads faster) +# See https://cloud.google.com/container-registry/docs/using-dockerhub-mirroring +echo 'DOCKER_OPTS="${DOCKER_OPTS} --registry-mirror=https://mirror.gcr.io"' | sudo tee --append /etc/default/docker sudo service docker restart # Populate xdg-cache-home to workaround https://github.com/grpc/grpc/issues/11968 |