昨晚装了以下Eclipse上的TPTP,和Google plugin,碰到一个奇怪的问题。
因为我的eclipse放在/opt下面,拥有者是root,通过桌面的执行脚本来执行。通过自动升级TPTP和Google plugin后,在Installtion Detail中也看到认出了插件,界面上就是没有应有的google toolkit图标和TPTP图标。-clean也完全没有用处。
于是把eclipse的所属改为当前用户,再进去,就没问题了。奇怪的是,把所属再改回root,仍然没有问题,现在的目录权限,跟原来的一模一样,但就是能用这两个插件了,非常奇怪。
因为我的eclipse放在/opt下面,拥有者是root,通过桌面的执行脚本来执行。通过自动升级TPTP和Google plugin后,在Installtion Detail中也看到认出了插件,界面上就是没有应有的google toolkit图标和TPTP图标。-clean也完全没有用处。
于是把eclipse的所属改为当前用户,再进去,就没问题了。奇怪的是,把所属再改回root,仍然没有问题,现在的目录权限,跟原来的一模一样,但就是能用这两个插件了,非常奇怪。