diff options
author | Will Greenberg <willg@eff.org> | 2022-04-22 18:07:59 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-22 18:07:59 +0300 |
commit | 3b6f3450c2ff4cba31a39d295676ffbc3176550a (patch) | |
tree | d0ababd08386f83690269cabaf27b863b95fb6fa /tools | |
parent | 20336266fd30e5d5cec06dbf3a743f8d7ad711e2 (diff) |
Add --debug to docker push (#9286)
This'll (hopefully) help us debug the connectivity issues during
the deploy CI
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/docker/deploy.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/docker/deploy.sh b/tools/docker/deploy.sh index 97feb7f8f..c173c4158 100755 --- a/tools/docker/deploy.sh +++ b/tools/docker/deploy.sh @@ -46,19 +46,19 @@ ParseRequestedArch "${2}" TagAndPushForAllRequestedArch() { DOCKER_REPO="${DOCKER_HUB_ORG}/${1}" for TARGET_ARCH in "${ALL_REQUESTED_ARCH[@]}"; do - docker push "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" + docker --debug push "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" if [[ "${TAG_BASE}" =~ ^v[0-9]+\.[0-9]+\.[0-9]+$ ]]; then docker tag "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" "${DOCKER_REPO}:${TARGET_ARCH}-latest" - docker push "${DOCKER_REPO}:${TARGET_ARCH}-latest" + docker --debug push "${DOCKER_REPO}:${TARGET_ARCH}-latest" if [ "${TARGET_ARCH}" == "${DEFAULT_ARCH}" ]; then docker tag "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" "${DOCKER_REPO}:latest" - docker push "${DOCKER_REPO}:latest" + docker --debug push "${DOCKER_REPO}:latest" fi fi if [ "${TARGET_ARCH}" == "${DEFAULT_ARCH}" ]; then docker tag "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" "${DOCKER_REPO}:${TAG_BASE}" - docker push "${DOCKER_REPO}:${TAG_BASE}" + docker --debug push "${DOCKER_REPO}:${TAG_BASE}" fi done } |