diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2017-10-26 17:25:29 +0200 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2017-10-26 17:25:29 +0200 |
| commit | f568c0a07e965a34db3205a77e6a17826266261e (patch) | |
| tree | 8c70979f744238a204e2415bd0efaaf807accdd8 /tools/internal_ci/helper_scripts | |
| parent | 69bd8f2d5d981dd646733f2fd030c93c4b23c58b (diff) | |
use GCR mirror for pulling images
Diffstat (limited to 'tools/internal_ci/helper_scripts')
| -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 |