From 5cda8ff0b0321e6ebf55b09a0fe1280d53568acd Mon Sep 17 00:00:00 2001
From: chris <cg@zknt.org>
Date: Wed, 28 Oct 2020 17:59:20 +0100
Subject: [PATCH] generate jenkinsfile

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index a914a71..8a63b45 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -45,6 +45,7 @@ pipeline {
 
   post {
     success {
+      sh """docker image prune -f"""
       sh """docker rmi -f \$(docker images -q $registry/$repo/$project:$version)"""
       sh """for image in \$(grep FROM Dockerfile | cut -d ' ' -f 2); do docker rmi -f \$(docker images -q \${image}); done"""
     }