StackOverflow 文档 ant 教程 基本文件 IO 使用 echo 写一个文件 使用 echo 写一个文件 Created: November-22, 2018 只需指定文件目的地， echo 将创建，写入或附加到文件。 <echo file=example.txt" append="false"> hello world </echo> 打印文件的内容基本文件 IO