You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Shake build system
Hi all,
Unfortunately Shake 0.18 and 0.18.1 shipped with a serious error such
that writeFile' and writeFileChanged when given the arguments `file`
and `contents` would delete the file named `contents` if it existed.
Concretely:
writeFile' "foo.txt" "text"
Would delete the file "text" if it existed on the system.
Thanks to Matthew Pickering for spotting and patching this bug.
Note that Shake 0.17.9 (the last entry in the 0.17 series) and below
do not contain this bug. For those who have upgraded to 0.18 or
0.18.1, please upgrade to 0.18.2.