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

时间:2015-02-27 06:59:27

标签: java ant jboss

请您告诉我$ {jboss_home}和$ {env.jboss_home}之间的区别。

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

1 个答案:

答案 0 :(得分:3)

${jboss_home}使用以下命令读取您可能指定的属性:

  • 属性文件,如<property file="build.properties"/>
  • 或单独定义属于<property name="jboss_home" value="test"/><!--can be location as well instead of value-->
  • 的财产

当您说${env.jboss_home}时,这意味着您可能从您可能已定义的某个环境变量中获取值。你应该已经定义了类似的东西:

<property environment="env"/>

因此,如果您从unix shell运行echo $jboss_home或从Windows运行echo %jboss_home%,那么您会看到分配给它的值,以及您尝试在蚂蚁中使用的值。