complete i think

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