It would be nice if we could write the content of the file and sets its permissions (like execute) all in one single command like:

writeFile file:'myfile.sh', content:'...', perms='755'

The permissions are likely to be a noop under Windows tho...