# HG changeset patch
# User wenzelm
# Date 1680972377 -7200
# Node ID 59ab77f7d021eac34a3ec0e747527b1f24ade3a4
# Parent  c2ce9ac85859d6b7c81496499c091e0d0a7a586b
clarified output;

diff -r c2ce9ac85859 -r 59ab77f7d021 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Sat Apr 08 18:08:20 2023 +0200
+++ b/src/Pure/System/components.scala	Sat Apr 08 18:46:17 2023 +0200
@@ -202,7 +202,7 @@
   }
 
   class Directory private(val path: Path, val ssh: SSH.System = SSH.Local) {
-    override def toString: String = path.toString
+    override def toString: String = path.toString + ssh.print
 
     def etc: Path = path + Path.basic("etc")
     def src: Path = path + Path.basic("src")
@@ -214,7 +214,7 @@
     def LICENSE: Path = path + Path.basic("LICENSE")
 
     def create(progress: Progress = new Progress): Directory = {
-      progress.echo("Creating component directory " + path)
+      progress.echo("Creating component directory " + toString)
       ssh.new_directory(path)
       ssh.make_directory(etc)
       this
@@ -224,9 +224,9 @@
       ssh.is_file(settings) || ssh.is_file(components) || Sessions.is_session_dir(path, ssh = ssh)
 
     def check: Directory =
-      if (!ssh.is_dir(path)) error("Bad component directory: " + path)
+      if (!ssh.is_dir(path)) error("Bad component directory: " + toString)
       else if (!ok) {
-        error("Malformed component directory: " + path +
+        error("Malformed component directory: " + toString +
           "\n  (missing \"etc/settings\" or \"etc/components\" or \"ROOT\" or \"ROOTS\")")
       }
       else this