oops, bad paste. configuration file should be.... $HOME/.eclipse/org.eclipse.platform_3.1.2/configuration/.settings/org.eclipse.ui.ide.prefs
oops, bad paste. configuration file should be.... eclipse/ org.eclipse. platform_ 3.1.2/configura tion/.settings/ org.eclipse. ui.ide. prefs
$HOME/.