generate-shapes/push-docker-image.sh

#!/bin/sh
set -ex
set -o pipefail

echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
docker push adfreiburg/pfaedle
Travis CI: build & publish Docker image 💚 2020-12-02 12:53:50 +00:00			`#!/bin/sh`
			`set -ex`
			`set -o pipefail`

			`echo "$DOCKER_PASSWORD" \| docker login -u "$DOCKER_USERNAME" --password-stdin`
add docker pw and uname 2020-12-02 18:26:40 +00:00			`docker push adfreiburg/pfaedle`