Lines Matching full:docker

8 # This is a helper script to enable running tests under a Docker container,
14 # for the set of Docker images we use on the CI.
18 # This script expects a Linux x86_64 system with a recent version of Docker
21 # (http_proxy and https_proxy) set appropriately. If an alternate Docker
26 # Running this script directly will check for Docker availability and set up
27 # the Docker image.
51 # Make sure docker is available
52 if ! which docker > /dev/null; then
53 …echo "Docker is required but doesn't seem to be installed. See https://www.docker.com/ to get star…
57 # Figure out if we need to 'sudo docker'
58 if groups | grep docker > /dev/null; then
59     DOCKER="docker"
61     echo "Using sudo to invoke docker since you're not a member of the docker group..."
62     DOCKER="sudo docker"
72 # Build the Docker image
73 echo "Getting docker image up to date (this may take a few minutes)..."
74 ${DOCKER} image build \
82     tests/docker/${MBEDTLS_DOCKER_GUEST}
92     ${DOCKER} container run -it --rm \