diff options
| author | w0rp | 2026-02-11 20:16:12 +0000 |
|---|---|---|
| committer | w0rp | 2026-02-11 20:16:15 +0000 |
| commit | be0dfdb67173a5a8c5566eb2137d6727ad9b2e2d (patch) | |
| tree | b5f2972c0eb0e9f20e320de392cbcc981161b4c4 | |
| parent | b5f8cb296ae2679f5acb2c927e116763efccaab3 (diff) | |
| download | ale-be0dfdb67173a5a8c5566eb2137d6727ad9b2e2d.tar.gz | |
Skip ALE docker download attempts
Turns out the “image” variable never finds a local image any more because the “docker.io/” part isn’t part of the image name locally, so we must alter the string slightly to find a local copy.
| -rwxr-xr-x | run-tests | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -175,7 +175,7 @@ find test -name '*.swp' -delete set -eu # Check if docker un image is available locally -has_image=$(docker images --quiet "${image}:${image_tag}" | wc -l) +has_image=$(docker images --quiet "denseanalysis/ale:${image_tag}" | wc -l) if [[ "$DOCKER" == docker ]]; then arch=$(docker info -f '{{ .Architecture }}') @@ -221,7 +221,9 @@ if [ "$has_image" -eq 0 ] && ! download_image; then docker push "${image}:${image_tag}" fi else - echo "Docker run image ${image}:${image_tag} ready" + if [ -z "$quiet_flag" ]; then + echo "Docker run image ${image}:${image_tag} ready" + fi fi "$DOCKER" tag "${image}:${image_tag}" "${image}:latest" |