That file is not intended for arguments though; it looks like a regular
"properties" file (as in java.util.Properties-properties) - have a look
at /usr/lib/eclipse/configuration/config.ini, which is written by the
same part of eclipse.
  I think you may be able to specify properties in it though (as you can
do via -vmargs -D<prop>=3D<value>), if that is what you need. If you writ=
e
-vmargs in it, it probably thinks you define the property "-vmargs" to
the empty value or null.

Perhaps what you want is a "per user" eclipse.ini?

> I think that the
> $HOME/.eclipse/org.eclipse.platform_<version>_<id>/configuration/config=
=2Eini
> is parsed by Java code during startup and not by wrapper that starts jv=
m.
>=20

Yes.

> Tomas
>=20
>=20
> Dne 11.4.2010 17:27, Niels Thykier napsal(a):
>> [...]

~Niels

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to