Insomniac in BA: For future reference: modifying the workspace list in Eclipse, in Linux

Friday, June 11, 2010

For future reference: modifying the workspace list in Eclipse, in Linux

[Como siempre me lo olvido, me anoto acá cómo borrar un workspace de la lista de Eclipse en Linux -no me fijé en Windows-]

How to remove a workspace:
find the file /configuration/.settings/org.eclipse.ui.ide.prefs, and there's what you need to edit.