Bug#491334: Reopen eclipse ignores vmargs in eclipse.ini

[Tomáš Jura]

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
>