#!/bin/bash set -ex cd $(dirname $0)/.. source ./scripts/version ./scripts/release-build cat dist/images | sed 's/^/docker push /' >> dist/publish.sh chmod 755 dist/publish.sh