${jboss_home} 和 ${env.jboss_home} 有什么区别

what is the difference between ${jboss_home} and ${env.jboss_home}

你能告诉我给${jboss_home}和${env.jboss_home}的区别吗?

我只想了解 ${env.jboss_home} 是否会从环境变量中获取值?

${jboss_home} 读作 属性,您可能使用以下方法指定:

  • 属性 文件类似 <property file="build.properties"/>
  • 或某些单独反抗 属性 的东西,例如 <property name="jboss_home" value="test"/><!--can be location as well instead of value-->

当您说 ${env.jboss_home} 时,这意味着您可能正在从您可能已定义的环境变量之一获取值。您应该定义 env 如下:

<property environment="env"/>

因此,如果您 运行 来自 unix shell 的 echo $jboss_home 或来自 windows 的 echo %jboss_home%,那么您将看到分配给它的值以及是你想在你的蚂蚁中使用的东西。