docker.sh: more useful output at end

zudov-ghc-7.10
Michael Snoyman 7 years ago
parent ebbeba08b7
commit 702afdca6a

@ -14,3 +14,5 @@ cd docker
docker build -t snoyberg/stackage-server:$TAG .
docker push snoyberg/stackage-server:$TAG
)
echo Pushed as snoyberg/stackage-server:$TAG

Loading…
Cancel
Save