diff options
author | Jan Tattermusch <jtattermusch@google.com> | 2016-11-30 12:57:20 +0100 |
---|---|---|
committer | Jan Tattermusch <jtattermusch@google.com> | 2016-11-30 12:57:20 +0100 |
commit | b04a0ccdddb28261ac15710c24084107ce1688ac (patch) | |
tree | e759597047c3c1d93740e99c328649b9c5c4dd6b /tools/run_tests/dockerize | |
parent | 4597061352f75a30990d8c848ec5578e8db3728b (diff) |
allow pulling a docker image from dockerhub instead of building locally
Diffstat (limited to 'tools/run_tests/dockerize')
-rwxr-xr-x | tools/run_tests/dockerize/build_and_run_docker.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/tools/run_tests/dockerize/build_and_run_docker.sh b/tools/run_tests/dockerize/build_and_run_docker.sh index 1ef34b2f96..f52f16ebd6 100755 --- a/tools/run_tests/dockerize/build_and_run_docker.sh +++ b/tools/run_tests/dockerize/build_and_run_docker.sh @@ -41,13 +41,20 @@ cd - # DOCKERFILE_DIR - Directory in which Dockerfile file is located. # DOCKER_RUN_SCRIPT - Script to run under docker (relative to grpc repo root) # OUTPUT_DIR - Directory that will be copied from inside docker after finishing. +# DOCKERHUB_ORGANIZATION - If set, pull a prebuilt image from given dockerhub org. # $@ - Extra args to pass to docker run # Use image name based on Dockerfile location checksum DOCKER_IMAGE_NAME=$(basename $DOCKERFILE_DIR)_$(sha1sum $DOCKERFILE_DIR/Dockerfile | cut -f1 -d\ ) -# Make sure docker image has been built. Should be instantaneous if so. -docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR +if [ "$DOCKERHUB_ORGANIZATION" != "" ] +then + DOCKER_IMAGE_NAME=$DOCKERHUB_ORGANIZATION/$DOCKER_IMAGE_NAME + docker pull $DOCKER_IMAGE_NAME +else + # Make sure docker image has been built. Should be instantaneous if so. + docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR +fi # Choose random name for docker container CONTAINER_NAME="build_and_run_docker_$(uuidgen)" |