Eclipse|更改MyEclipse/Eclipse的工作空间名字(workspace) 开发环境|IDE

突然想重新命名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.

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

推荐阅读

如何迅速去甲醛味怎么快速去除甲醛味

linux挂载命令配置 linux挂载命令怎么理解

打完新冠疫苗能运动吗

家用烧烤怎么烤好吃在家烧烤怎么烤好吃

sql 云服务器云服务器mysql中文

什么原因会导致乳腺增生呢！

微信欢乐球球怎么玩高分微信欢乐球球全关卡高分技巧

关于增票遗失的问题

细子龙细子龙图片

如何寻找玩字词游戏的时间！（原创日记83）

ultraedit找到对应括号 UltraEdit匹配大括号内容的具体方法讲解

空气洗衣洗衣机为什么会烫,用过的都会这样说

工程专业的妹子做什么工作比较好？

003 - windows api - Device Roles

小米|雷军憋大招！小米MIX4规格被曝光，屏下摄像头很惹眼

蛋糕的热量是多少

高雄旅游攻略高雄哪里好玩

冬季护肤薏米食谱

我试过“权健火疗”，管用！真事！

猫和老鼠里面的汤姆猫是什么品种汤姆猫是什么品种