changeset 64152 | 8f5b23536c56 |
parent 64139 | 387c811cad6a |
child 64161 | 2b1128e95dfb |
--- 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 &")