mirror of
https://github.com/dense-analysis/ale.git
synced 2026-03-01 04:52:28 +08:00
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.
This commit is contained in:
@@ -175,7 +175,7 @@ find test -name '*.swp' -delete
|
|||||||
set -eu
|
set -eu
|
||||||
|
|
||||||
# Check if docker un image is available locally
|
# 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
|
if [[ "$DOCKER" == docker ]]; then
|
||||||
arch=$(docker info -f '{{ .Architecture }}')
|
arch=$(docker info -f '{{ .Architecture }}')
|
||||||
@@ -221,7 +221,9 @@ if [ "$has_image" -eq 0 ] && ! download_image; then
|
|||||||
docker push "${image}:${image_tag}"
|
docker push "${image}:${image_tag}"
|
||||||
fi
|
fi
|
||||||
else
|
else
|
||||||
echo "Docker run image ${image}:${image_tag} ready"
|
if [ -z "$quiet_flag" ]; then
|
||||||
|
echo "Docker run image ${image}:${image_tag} ready"
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
"$DOCKER" tag "${image}:${image_tag}" "${image}:latest"
|
"$DOCKER" tag "${image}:${image_tag}" "${image}:latest"
|
||||||
|
|||||||
Reference in New Issue
Block a user