Files
CoqDecks/docker_push
T
Gareth Latty dcdf011304 Initial v2
2019-06-22 04:37:15 +01:00

4 lines
131 B
Bash

#!/bin/bash
echo "${DOCKER_PASSWORD}" | docker login -u "${DOCKER_USERNAME}" --password-stdin
docker push "massivedecks/${1}:${2}"