enforce short name, notably on Mac OS X;
authorwenzelm
Tue Oct 11 21:44:20 2016 +0200 (2016-10-11)
changeset 641528f5b23536c56
parent 64151 be9b3cffe058
child 64153 769791954872
enforce short name, notably on Mac OS X;
src/Pure/System/isabelle_system.scala
     1.1 --- a/src/Pure/System/isabelle_system.scala	Tue Oct 11 21:25:10 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_system.scala	Tue Oct 11 21:44:20 2016 +0200
     1.3 @@ -309,7 +309,7 @@
     1.4        result(progress_stdout, progress_stderr, progress_limit, strict)
     1.5    }
     1.6  
     1.7 -  def hostname(): String = bash("hostname").check.out
     1.8 +  def hostname(): String = bash("hostname -s").check.out
     1.9  
    1.10    def open(arg: String): Unit =
    1.11      bash("exec \"$ISABELLE_OPEN\" " + File.bash_string(arg) + " >/dev/null 2>/dev/null &")