ThinkChat🤖让你学习和工作更高效,注册即送10W Token,即刻开启你的AI之旅 广告
![property元素](https://gitee.com/mianshenglee/datastorage/raw/master/md-photo/deploy-tool/property%E5%85%83%E7%B4%A0.jpg) property元素主要用于动态添加需要计算或变换得出的属性值,可使用占位符组合成新的property属性,也可通过`function`对参数值进行处理。以key-value值保存到properties文件对应的属性内存中,以便后续使用。 如下是添加tomcat_webapps_home属性(使用占位符`$${deployment_home}`与其它目录路径组合得出): ```xml <properties> <property key="tomcat_webapps_home"> <value><![CDATA[$${deployment_home}/bingodrive_web/program/webapps]]> </value> </property> </properties> ``` 说明: > * `properties`元素是可选的,若没有需要可不配置。 > * `properties`元素下须有>=1个`property`元素。 > * `property`元素是一个key-value值,均需要配置。其中key可为属性,也可为元素,写其一即可。value为元素。 > * 若是使用function,则需要设置`function`元素及相应的参数`args`及`arg`元素。 > * 此处配置的property元素的force属性,若force为false,则若在前面读取的配置文件(properties文件)中没有此配置,则添加,已有则忽略此配置。若force为true,则若在前面读取的配置文件(properties文件)中没有此配置,则添加,已有强制覆盖替换成此处配置。 [9]: http://static.zybuluo.com/miansheng/4w6yglcq3yvubaay1d24tvjk/property%E5%85%83%E7%B4%A0.jpg