Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
authorwenzelm
Fri, 16 Sep 2022 23:44:26 +0200
changeset 76179 49b16832f173
parent 76178 1f95e9424341
child 76180 322f2e2799a7
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
src/Pure/Tools/build_docker.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_docker.scala	Fri Sep 16 22:33:14 2022 +0200
+++ b/src/Pure/Tools/build_docker.scala	Fri Sep 16 23:44:26 2022 +0200
@@ -15,7 +15,7 @@
   private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r
 
   val packages: List[String] =
-    List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "unzip")
+    List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen", "rsync", "unzip")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
isabelle