копировать файл с другим именем с 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> 

Может ли это быть сделано только один < копию > тега?

Как я могу это сделать?

Я ожидаю, что довольно много файлов будут скопированы с измененным именем, поэтому я хочу упростить сценарий.

Answer 1

Если это только один файл, который вы хотите переименовать, используйте файл, а не набор файлов.

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