diff options
Diffstat (limited to 'prepare-board.sh')
-rwxr-xr-x | prepare-board.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/prepare-board.sh b/prepare-board.sh index d651074..9ec9dc7 100755 --- a/prepare-board.sh +++ b/prepare-board.sh @@ -424,10 +424,10 @@ configure_ntp() # Check that docker can start a container. test_docker() { - docker ps + docker-wrapper ps if [ x"$DOCKER_IMAGE" != x"" ]; then - docker maybepull "$DOCKER_IMAGE" - docker run --rm --entrypoint=/usr/bin/true "$DOCKER_IMAGE" + docker-wrapper maybepull "$DOCKER_IMAGE" + docker-wrapper run --rm --entrypoint=/usr/bin/true "$DOCKER_IMAGE" fi verbose "Docker seems to be OK" } |