Make build_and_run_docker.sh pass shellcheck (with suppressions)

pull/14074/head
Mehrdad Afshari 7 years ago
parent 05668d49a6
commit b7f88cfd7f
  1. 18
      tools/run_tests/dockerize/build_and_run_docker.sh

@ -18,7 +18,7 @@
set -ex set -ex
cd $(dirname $0)/../../.. cd "$(dirname "$0")/../../.."
git_root=$(pwd) git_root=$(pwd)
cd - cd -
@ -31,36 +31,38 @@ cd -
# $@ - Extra args to pass to docker run # $@ - Extra args to pass to docker run
# Use image name based on Dockerfile location checksum # Use image name based on Dockerfile location checksum
DOCKER_IMAGE_NAME=$(basename $DOCKERFILE_DIR)_$(sha1sum $DOCKERFILE_DIR/Dockerfile | cut -f1 -d\ ) DOCKER_IMAGE_NAME=$(basename "$DOCKERFILE_DIR")_$(sha1sum "$DOCKERFILE_DIR/Dockerfile" | cut -f1 -d\ )
# Pull the base image to force an update # Pull the base image to force an update
if [ "$DOCKER_BASE_IMAGE" != "" ] if [ "$DOCKER_BASE_IMAGE" != "" ]
then then
time docker pull $DOCKER_BASE_IMAGE time docker pull "$DOCKER_BASE_IMAGE"
fi fi
if [ "$DOCKERHUB_ORGANIZATION" != "" ] if [ "$DOCKERHUB_ORGANIZATION" != "" ]
then then
DOCKER_IMAGE_NAME=$DOCKERHUB_ORGANIZATION/$DOCKER_IMAGE_NAME DOCKER_IMAGE_NAME=$DOCKERHUB_ORGANIZATION/$DOCKER_IMAGE_NAME
time docker pull $DOCKER_IMAGE_NAME time docker pull "$DOCKER_IMAGE_NAME"
else else
# Make sure docker image has been built. Should be instantaneous if so. # Make sure docker image has been built. Should be instantaneous if so.
docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR docker build -t "$DOCKER_IMAGE_NAME" "$DOCKERFILE_DIR"
fi fi
# Choose random name for docker container # Choose random name for docker container
CONTAINER_NAME="build_and_run_docker_$(uuidgen)" CONTAINER_NAME="build_and_run_docker_$(uuidgen)"
# Run command inside docker # Run command inside docker
# TODO: use a proper array instead of $EXTRA_DOCKER_ARGS
# shellcheck disable=SC2086
docker run \ docker run \
"$@" \ "$@" \
-e EXTERNAL_GIT_ROOT="/var/local/jenkins/grpc" \ -e EXTERNAL_GIT_ROOT="/var/local/jenkins/grpc" \
-e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \
-v "$git_root:/var/local/jenkins/grpc:ro" \ -v "$git_root:/var/local/jenkins/grpc:ro" \
-w /var/local/git/grpc \ -w /var/local/git/grpc \
--name=$CONTAINER_NAME \ --name="$CONTAINER_NAME" \
$EXTRA_DOCKER_ARGS \ $EXTRA_DOCKER_ARGS \
$DOCKER_IMAGE_NAME \ "$DOCKER_IMAGE_NAME" \
/bin/bash -l "/var/local/jenkins/grpc/$DOCKER_RUN_SCRIPT" || FAILED="true" /bin/bash -l "/var/local/jenkins/grpc/$DOCKER_RUN_SCRIPT" || FAILED="true"
# Copy output artifacts # Copy output artifacts
@ -70,7 +72,7 @@ then
fi fi
# remove the container, possibly killing it first # remove the container, possibly killing it first
docker rm -f $CONTAINER_NAME || true docker rm -f "$CONTAINER_NAME" || true
if [ "$FAILED" != "" ] if [ "$FAILED" != "" ]
then then

Loading…
Cancel
Save