首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >蚂蚁中的<zipfileset>与<fileset>

蚂蚁中的<zipfileset>与<fileset>
EN

Stack Overflow用户
提问于 2013-01-23 06:39:14
回答 1查看 9.3K关注 0票数 6

and工具提供两个不同的任务<fileset/><zipfileset/>。根据文档,如果我们使用<zipfileset/>属性,那么.zip允许我们从.zip文件中提取文件。

我的问题是,如果我们使用dir <zipfileset/> 属性来选择文件,那么两者, <zipfileset/> <fileset/>**.**之间有什么区别呢?

例如:

代码语言:javascript
复制
                <zipfileset dir="conf/Gateway>
                <include name="jndi.properties" />
                </zipfileset>

                                 and

                <fileset dir="conf/Gateway>
                <include name="jndi.properties" />
                </fileset>
EN

回答 1

Stack Overflow用户

发布于 2014-07-10 01:32:34

如果构建存档(例如ZIP或WAR或JAR ),这两个任务之间的一个有用的区别是,zipfileset具有一个prefix属性,您可以使用它将给定的文件重新定位到存档中的另一个文件夹中。例如,如果以下内容包含在一组更大的filesetzipfileset元素中:

代码语言:javascript
复制
<zipfileset dir="conf/Gateway" prefix="properties">
    <include name="jndi.properties" />
</zipfileset>

然后文件conf/Gateway/jndi.properties实际上将作为conf/Gateway/properties/jndi.properties包含在输出中。您可以通过其他方式达到相同的目的,但这偶尔是有用的。

否则,只需使用似乎最适合当前任务的任务。

票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/14473842

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档