我想为java.io.tmpdir
文件中的eclipse.ini
指定一个自定义值。具体来说,我需要将用户名作为路径的一部分。
我在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
选项,以便用实际的用户名(例如@user.name
)替换john_doe
?
答案 0 :(得分:1)
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