作为上一个答案的后续内容,您可以访问用户的环境变量并使用TMP或TEMP中的值:
<project name="test" default="showtemp">
<property environment="env"/>
<target name="showtemp">
<echo message="TMP=${env.TMP}"/>
</target>
</project>
Run Code Online (Sandbox Code Playgroud)
也许更好的方法是使用java系统属性 java.io.tmpdir
<project name="test" default="showtemp">
<target name="showtemp">
<echo message="java.io.tmpdir=${java.io.tmpdir}"/>
</target>
</project>
Run Code Online (Sandbox Code Playgroud)