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_Filenames - Fatal编程技术网

如何在ant中获取无扩展名的文件名

如何在ant中获取无扩展名的文件名,ant,filenames,Ant,Filenames,我知道如何使用java的ANT构建工具获取文件的基本名称,但在本例中,我希望更改文件名以包含构建版本号。不幸的是,我正在导入的另一个ant脚本(来自android系统)中设置了文件名,我无法设置该文件的属性,或者导入的脚本会抱怨不应该已经设置该属性。因此,如果我有一个持有MyApp-release.apk的属性,并且我想将该值更改为MyApp-release-1.10.apk,我该怎么做?我知道我可以用basename将1.10放在文件名的开头,这可能就是我要做的,但我宁愿用另一种方式来做。表单

我知道如何使用java的ANT构建工具获取文件的基本名称,但在本例中,我希望更改文件名以包含构建版本号。不幸的是,我正在导入的另一个ant脚本(来自android系统)中设置了文件名,我无法设置该文件的属性,或者导入的脚本会抱怨不应该已经设置该属性。因此,如果我有一个持有MyApp-release.apk的属性,并且我想将该值更改为MyApp-release-1.10.apk,我该怎么做?我知道我可以用basename将1.10放在文件名的开头,这可能就是我要做的,但我宁愿用另一种方式来做。

表单:

任务以确定指定文件的基名称,可选地减去 指定的后缀


表格:

任务以确定指定文件的基名称,可选地减去 指定的后缀



谢谢,看错了文档,以为后缀是生成后缀来给basename添加后缀谢谢,看错了文档,以为后缀是生成后缀来给basename添加后缀
<basename property="cmdname" file="D:/usr/local/foo.exe"
          suffix=".exe"/>