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 setup -Xbootclasspath and -javaagent for the lombok library.
I have solved the problem by writing own wrapper script for eclipse.
#!/bin/sh
local VMARGS=$HOME/.eclipse/eclipsevm
local SW
if [ -r "$VMARGS" ]; then
SW=-vmargs
for a in "$@" ; do
if [ "$a" = "$SW" ] ; then
unset SW
break;
fi
done
SW="$SW $(cat "$VMARGS")"
fi
exec /usr/bin/eclipse "$@" $SW
Tomas
Dne 12.4.2010 11:30, Niels Thykier napsal(a):
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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
