#!/usr/bin/env bash # Tag the built image IMAGE: and push it from that arch's daemon. set -euo pipefail cd "$(dirname "$0")/.." . bin/lib.sh arch="${1:?usage: bin/push }" use_arch_host "$arch" docker tag "$(dev_tag "$arch")" "$(arch_tag "$arch")" docker push "$(arch_tag "$arch")" 2>&1 | tee "$LOGDIR/push-$arch.log"