From 86befe0cfd9f484b45920d659e74c086bf89efa3 Mon Sep 17 00:00:00 2001 From: lguohan Date: Fri, 19 May 2017 13:49:43 -0700 Subject: [PATCH] [docker]: remove docker images after docke push (#615) --- push_docker.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/push_docker.sh b/push_docker.sh index 156502ddfb..1e2bc46779 100755 --- a/push_docker.sh +++ b/push_docker.sh @@ -39,3 +39,4 @@ echo "Image sha256: $image_sha" echo "Pushing $build_remote_image_name" docker push $build_remote_image_name docker rmi $build_remote_image_name || true +docker rmi $docker_image_name || true