# HG changeset patch
# User wenzelm
# Date 1633642866 -7200
# Node ID 59ef23ac81abe859af5319d3ab44b82971de5bdf
# Parent  122615955fc0f0f592b9ba3f24aef7006119a921
save 90 MB by excluding rlwrap and thus perl;

diff -r 122615955fc0 -r 59ef23ac81ab src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Thu Oct 07 23:21:09 2021 +0200
+++ b/src/Pure/Tools/build_docker.scala	Thu Oct 07 23:41:06 2021 +0200
@@ -15,7 +15,7 @@
   private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r
 
   val packages: List[String] =
-    List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "rlwrap", "unzip")
+    List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "unzip")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),