src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sun Feb 26 11:55:24 2023 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sun Feb 26 13:06:19 2023 +0100
@@ -47,6 +47,8 @@
     proper_string(getenv(name, env)) getOrElse
       error("Undefined Isabelle environment variable: " + quote(name))
 
+  def hostname(): String = getenv_strict("ISABELLE_HOSTNAME")
+
 
   /* services */
 
@@ -499,8 +501,6 @@
     }
   }
 
-  def hostname(): String = bash("hostname -s").check.out
-
   def open(arg: String): Unit =
     bash("exec \"$ISABELLE_OPEN\" " + Bash.string(arg) + " >/dev/null 2>/dev/null &")