changeset 58639 | 1df53737c59b |
parent 57915 | 448325de6e4f |
child 59341 | a74eb8e0907a |
--- a/src/Pure/System/system_channel.scala Thu Oct 09 11:00:15 2014 +0200 +++ b/src/Pure/System/system_channel.scala Thu Oct 09 11:15:03 2014 +0200 @@ -43,7 +43,7 @@ { val i = Fifo_Channel.next_fifo() val script = - "FIFO=\"/tmp/isabelle-fifo-${PPID}-$$" + i + "\"\n" + + "FIFO=\"${TMPDIR:-/tmp}/isabelle-fifo-${PPID}-$$" + i + "\"\n" + "echo -n \"$FIFO\"\n" + "mkfifo -m 600 \"$FIFO\"\n" val result = Isabelle_System.bash(script)