Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/ant/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
如何克服Ant中文件名的大小写敏感性_Ant - Fatal编程技术网
Fatal编程技术网
  • ant/
  • 如何克服Ant中文件名的大小写敏感性

如何克服Ant中文件名的大小写敏感性

ant

如何克服Ant中文件名的大小写敏感性,ant,Ant,我正在使用和压缩文件 文件系统包含文件名abc.txt，如果我的ant脚本包含文件名abc.txt，则脚本不会拾取此文件，而是抱怨找不到文件abc.txt 你知道我该如何解决这个问题吗？也许你可以使用和的区分大小写属性来满足你的需求。默认情况下，这是true。也许您可以使用的区分大小写属性，并通过扩展来满足您的要求。默认情况下这是true。在zipfileset或zip中放置casesensitive=“false”。两者都支持区分大小写属性。默认情况下为true。 希望这会有所帮助。将区分大小

我正在使用
和
压缩文件

文件系统包含文件名
abc.txt
，如果我的ant脚本包含文件名
abc.txt
，则脚本不会拾取此文件，而是抱怨找不到文件
abc.txt

你知道我该如何解决这个问题吗？

也许你可以使用和的
区分大小写属性来满足你的需求。默认情况下，这是
true
。
也许您可以使用的
区分大小写属性，并通过扩展来满足您的要求。默认情况下这是
true
。
在zipfileset或zip中放置
casesensitive=“false”
。两者都支持区分大小写属性。默认情况下为true。
希望这会有所帮助。
将
区分大小写=“false”
放在zipfileset或zip中。两者都支持区分大小写属性。默认情况下为true。
希望这会有所帮助