diff -r 6c9044f04756 -r 2847a3deedf9 src/Pure/System/cygwin.scala --- a/src/Pure/System/cygwin.scala Mon Jun 28 14:11:53 2021 +0200 +++ b/src/Pure/System/cygwin.scala Mon Jun 28 14:24:50 2021 +0200 @@ -59,10 +59,7 @@ def link(content: String, target: JFile): Unit = { val target_path = target.toPath - - using(Files.newBufferedWriter(target_path, UTF8.charset))( - _.write("!" + content + "\u0000")) - + Files.writeString(target_path, "!" + content + "\u0000") Files.setAttribute(target_path, "dos:system", true) } }