--- a/src/Pure/Admin/component_bash_process.scala Thu Mar 28 11:35:39 2024 +0100
+++ b/src/Pure/Admin/component_bash_process.scala Thu Mar 28 11:45:45 2024 +0100
@@ -22,9 +22,9 @@
val component_date = Date.Format.alt_date(Date.now())
val component_name = "bash_process-" + component_date
val component_dir =
- Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
-
- component_dir.write_platforms()
+ Components.Directory(target_dir + Path.basic(component_name))
+ .create(progress = progress)
+ .write_platforms()
/* platform */