From d2373863a2e3d3d1fd83c94486450cfb9d9c27cb Mon Sep 17 00:00:00 2001
From: Andrea Merello <andrea.merello@gmail.com>
Date: Fri, 22 May 2020 08:20:17 +0200
Subject: [PATCH] remove installer files after installing

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 84c883c..d4c00db 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -32,6 +32,9 @@ RUN cd /tmp/install && \
 RUN cd /tmp/install && TERM=xterm /tmp/setup && \
     cd
 
+RUN rm -rf /tmp/install/
+RUN rm -rf /tmp/*
+
 RUN adduser --disabled-password --gecos '' ise
 USER ise
 WORKDIR /home/ise