src/Pure/Tools/build_docker.scala

 */
 
 package isabelle
 
 
-object Build_Docker
-{
+object Build_Docker {
   private val default_base = "ubuntu"
   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
 
   private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r
 

     no_build: Boolean = false,
     entrypoint: Boolean = false,
     output: Option[Path] = None,
     more_packages: List[String] = Nil,
     tag: String = "",
-    verbose: Boolean = false): Unit =
-  {
+    verbose: Boolean = false
+  ): Unit = {
     val isabelle_name =
       app_archive match {
         case Isabelle_Name(name) => name
         case _ => error("Cannot determine Isabelle distribution name from " + app_archive)
       }

   else "")
 
     output.foreach(File.write(_, dockerfile))
 
     if (!no_build) {
-      Isabelle_System.with_tmp_dir("docker")(tmp_dir =>
-        {
+      Isabelle_System.with_tmp_dir("docker")(tmp_dir => {
           File.write(tmp_dir + Path.explode("Dockerfile"), dockerfile)
 
           if (is_remote) {
             if (!Url.is_readable(app_archive))
               error("Cannot access remote archive " + app_archive)

 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
     Isabelle_Tool("build_docker", "build Isabelle docker image",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here, args => {
       var base = default_base
       var entrypoint = false
       var logic = default_logic
       var no_build = false
       var output: Option[Path] = None