通过Jenkins管道从多字符串参数复制或写入Windows Jenkins工作区中的文件

Question

我试图通过Jenkins工作区中的多字符串参数复制粘贴在Jenkins Pipeline作业中的内容，但执行不正确。

尝试使用以下方法，但没有运气：

def srcStream = new File("${MANUAL_REPORT_FILE}")
def dstStream = new File("${WORKSPACE}\\html_report_${JOB_BASE_NAME}.html")

dstStream << srcStream
fileOperations([fileCopyOperation(excludes: '', flattenFiles: false, includes: '${MANUAL_REPORT_FILE}', targetLocation: '${WORKSPACE}')])

任何特定的代码都会有所帮助，无法获得适当的WriteFile操作。