diff --git a/Jenkinsfile b/Jenkinsfile index 1af2aa80..0f2b89d7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -53,22 +53,9 @@ pipeline { echo 'Cleanup...' sh """ # remove unused containers - container_ids=`docker ps -a | grep Exited | awk '{ print \$1 }' | xargs` - if [ \\$container_ids -eq "" ]; - then - : - else - docker rm \$container_ids - fi # remove unused images - image_ids=`docker images | grep '' | grep -v IMAGE | awk '{ print \$3 }' | xargs` - if [ \\$image_ids -eq "" ]; - then - : - else - docker rmi \$image_ids - fi + """ } }