如何重命名eclipse的工作空间（workspace）时间：2021-05-18 23:12:01将工作空间文件夹重命名 eclipse\configuration\.settings\org.eclipse.ui.ide.prefs 编辑此文件,将要改的名字和工作空间文件名改为一样就行了.
