src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Mon Apr 03 21:16:32 2023 +0200
+++ b/src/Pure/General/ssh.scala	Sat Apr 08 10:24:54 2023 +0200
@@ -105,6 +105,8 @@
   ) extends System {
     ssh =>
 
+    override def is_local: Boolean = false
+
     def port_suffix: String = if (port > 0) ":" + port else ""
     def user_prefix: String = if (user.nonEmpty) user + "@" else ""
 
@@ -370,6 +372,8 @@
   /* system operations */
 
   trait System extends AutoCloseable {
+    def is_local: Boolean
+
     def close(): Unit = ()
 
     override def toString: String = "SSH.Local"
@@ -424,5 +428,7 @@
       Platform.Family.parse(isabelle_platform.ISABELLE_PLATFORM_FAMILY)
   }
 
-  object Local extends System
+  object Local extends System {
+    override def is_local: Boolean = true
+  }
 }