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.
39 # Make sure docker is available
40 if ! which docker > /dev/null; then
41 …echo "Docker is required but doesn't seem to be installed. See https://www.docker.com/ to get star…
45 # Figure out if we need to 'sudo docker'
46 if groups | grep docker > /dev/null; then
47     DOCKER="docker"
49     echo "Using sudo to invoke docker since you're not a member of the docker group..."
50     DOCKER="sudo docker"
60 # Build the Docker image
61 echo "Getting docker image up to date (this may take a few minutes)..."
62 ${DOCKER} image build \
70     tests/docker/${MBEDTLS_DOCKER_GUEST}
80     ${DOCKER} container run -it --rm \