更改MyEclipse/Eclipse的工作空间名字(workspace)

突然想重新命名workspace,但是直接改文件名又不行,最后找了找配置文件,原来你在这里:

eclipse\configuration\.settings\org.eclipse.ui.ide.prefs

编辑此文件,将要改的名字和工作空间文件名改为一样就行了.

Someday an idea came out no where: I want to change my workspace's name, I just don't like the old one.

But it didn't work at the first time when I just renamed the workspace's directory.

Then I found out that I have to change a file named "org.eclipse.ui.ide.prefs" under "configuration\.settings" too.

The new workspace worked perfectly.