phing - 使用 phing 复制具有不同名称的文件

Question

我在 Phing 中编写了一个脚本，用于复制两个网站的文件，但我无法执行诸如更改名称的复制文件之类的操作。我想将此图像复制到 favicon.png 中。

    <copy todir="C:\dest_folder\" >
     <fileset dir="C:\source_folder\" >
      <patternset>
        <include name="assets/ico/favicon_website1.png"/>
      </patternset>
     </fileset>
    </copy>

这可以只在一个 <copy> 标签中完成吗？

我该怎么做？

我希望使用更改的名称复制相当多的文件，因此我想简化脚本。

Answer 1

如果它只是您要重命名的一个文件，请使用 tofile 而不是文件集。

<copy file="assets/ico/favicon_website1.png" tofile="C:\dest_folder\favicon.png" />