# HG changeset patch
# User wenzelm
# Date 1476215060 -7200
# Node ID 8f5b23536c56f3ba52c7a3bbd41e242f1925d4f9
# Parent  be9b3cffe05840fbfa871b5fcca14f329ac33713
enforce short name, notably on Mac OS X;

diff -r be9b3cffe058 -r 8f5b23536c56 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Oct 11 21:25:10 2016 +0200
+++ b/src/Pure/System/isabelle_system.scala	Tue Oct 11 21:44:20 2016 +0200
@@ -309,7 +309,7 @@
       result(progress_stdout, progress_stderr, progress_limit, strict)
   }
 
-  def hostname(): String = bash("hostname").check.out
+  def hostname(): String = bash("hostname -s").check.out
 
   def open(arg: String): Unit =
     bash("exec \"$ISABELLE_OPEN\" " + File.bash_string(arg) + " >/dev/null 2>/dev/null &")