# The directory where to find the configuration by default. # See <http://qa.mandriva.com/show_bug.cgi?id=21694>. CONFIGURATION_DIR="$HOME/.eclipse/org.eclipse.platform_`/bin/rpm -q --queryformat '%{VERSION}' eclipse-platform`-mdv/configuration" # The directory where to find the workspace by default. #USER_DIR="$HOME/workspace" # The JVM to use. If you have jpackage-utils installed, you shouldn't set this. #JAVACMD="" # Arguments to pass to the JVM. VM_ARGS="-Xms128m -Xmx1024m -XX:PermSize=128m -XX:MaxPermSize=128m" # Set this to use the mozilla browser widget. # See <http://qa.mandriva.com/show_bug.cgi?id=21612>. ECLIPSE_USE_MOZILLA=yes # Make eclipse start up faster under gcj VM_OPTS="-Dgnu.gcj.runtime.VMClassLoader.library_control=never"