I incorrectly analyzed the problem.
The problem is that the
$HOME/.eclip/org.eclipse.platform_version_id/configuration/config.ini (not
/etc/eclipse.ini) don't accept the -vmargs switch. More exactly said: It
is accepted, but silently ignored and even it is shown in the Eclipse in
the dialog
Yes, I was looking for the per user eclipse.ini. In the eclipse man
page (FILES section) claims that
$HOME/.eclipse/org.eclipse.platform_version_id/configuration/config.ini
is the user level configuration file. The problem is that JRE parameters
cannot be set up by this way.
I needed to
Eclipse ignores ignores -vmargs in eclipse.ini and patch that
incorporates ./eclipse/eclipserc is not applied.
I do not think how this patch could work since the -vmargs (and
consequent vm options) must be the last argument on command line and
there is no way how to inject parameters into
3 matches
Mail list logo
