diff --git a/build.sh b/build.sh index f85ac76..efd65a8 100644 --- a/build.sh +++ b/build.sh @@ -10,10 +10,10 @@ get_sha() { } was=$(get_sha) -docker build -f ./Dockerfile -t $img:$t --progress plain . +docker build -f ./Dockerfile -t $img:$t . docker push $img:$t now=$(get_sha) if [ -n "$was" ] && [ "$was" != "$now" ]; then echo pruning old $was - docker rmi "$was" + docker rmi "$was" || true fi