From c81a18236f631adcd3e3960cd4d3ad57c2cb1a96 Mon Sep 17 00:00:00 2001
From: Shane <shane@axiomdatascience.com>
Date: Tue, 15 Mar 2016 10:51:50 +0800
Subject: [PATCH] Optionally remove Tomcat extras
---
Dockerfile | 10 ++++++++++
1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/Dockerfile b/Dockerfile
index 974056e..ba8e802 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -99,5 +99,15 @@
cp -rf /tmp/resources/overlays/* /; \
fi;
+# Optionally remove Tomcat manager, docs, and examples
+ARG TOMCAT_EXTRAS=true
+RUN if [ "$TOMCAT_EXTRAS" = false ]; then \
+ rm -rf $CATALINA_HOME/webapps/ROOT && \
+ rm -rf $CATALINA_HOME/webapps/docs && \
+ rm -rf $CATALINA_HOME/webapps/examples && \
+ rm -rf $CATALINA_HOME/webapps/host-manager && \
+ rm -rf $CATALINA_HOME/webapps/manager; \
+ fi;
+
# Delete resources after installation
RUN rm -rf /tmp/resources
--
Gitblit v0.0.0-SNAPSHOT