我想在eclipse.ini文件中为java.io.tmpdir指定一个自定义值。具体来说，我需要有一个用户名作为路径的一部分。
我在eclipse.ini中看到以下条目：
-Dosgi.instance.area.default=@user.home/eclipse-workspace
但当我尝试使用类似的线路来达到我的目的时：
-Djava.io.tmpdir=/tmp/eclipse_@user.name
-Djava.io.tmpdir=/tmp/eclipse_{@user.name}
-Djava.io.tmpdir=/tmp/eclipse_@{user.name}
-Djava.io.tmpdir=/tmp/@user.name
我最终得到了以下目录(字面意思(：
/tmp/eclipse_@user.name
/tmp/eclipse_{@user.name}
/tmp/eclipse_@{user.name}
/tmp/@user.name
如何指定我的-D选项，以便用实际用户名(例如john_doe(替换@user.name？
eclipse.ini不支持变量替换。
@user.home和@user.dir替换由Equinox位置代码完成，因此仅支持Equinox位置值，这些值为：
osgi.install.area
osgi.configuration.area
osgi.configuration.area.default
osgi.instance.area
osgi.instance.area.default
osgi.user.area
osgi.user.area.default
执行此操作的代码是org.eclipse.osgi.internal.location.EquinoxLocations