突然想重新命名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.
【Eclipse|更改MyEclipse/Eclipse的工作空间名字(workspace)】The new workspace worked perfectly.
推荐阅读
- java简介|Java是什么（Java能用来干什么？）
- java|My GrokTalk-十分钟内十种工具
- 2 万字带你了解 Selenium 全攻略
- 开源工具将 Markdown 转为脑图，还支持 VSCode 和 Vim
- 知名开源项目 Faker.js 被清空项目仓库代码
- Eclipse中打开windows资源管理器或打开文件夹的设置！（实例）
- 在Eclipse中快速定位当前文件所在位置
- Android|Android 开发IDE之（Eclipse 和 Android Studio ）
- JDK|jdk与jre的区别
- Android从入门到精通|Android零基础入门第12节（熟悉Android Studio界面，开始装逼卖萌）