📄 listing7-03_build.xml_usingproperties
字号:
<!-- use properties to make your build.xml script more flexible.
Remember: Ant properties are "write once", so the property
does not change when you try to assign it another value.
Call this script with "ant robert greetuser" for example.
-->
<project name="example" default="greetuser">
<target name="robert">
<property name="user" value="Robert" />
</target>
<target name="jinny">
<property name="user" value="Jinny" />
</target>
<target name="greetuser">
<echo message="hello ${user}" />
</target>
</project>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -