这是一个创建于 3052 天前的主题，其中的信息可能已经有所发展或是发生改变。
pacman 更新了 mutter，然后在 https://extensions.gnome.org/local/更新了下扩展
注销后再登陆扩展就全部灰色了，切换到 root 还能开关扩展，但是移除不了；普通用户什么都做不了，使用 gnome-shell-extension-tool 命令 enable，reload 都无效
而且在官网连新的扩展也不能安装了
没有扩展 gnome 简直就是个半成品
 | 1 Gehrman OP 原来扩展还有个总开关 otz， |
 | 2 Sphenoid 2017-06-06 08:13:56 +08:00 via Android 日常滚死，233 |
 | 3 Gerhman 2017-06-06 08:46:33 +08:00 扩展能用了，但是移除还是没法用 |
 | 4 mengzhuo /div> 2017-06-06 09:16:20 +08:00 你看看是不是权限问题，因为 local 是装在家目录下面的 |
| 5 mengzhuo 2017-06-06 09:17:06 +08:00 而且 shell 有 console 的，你试试 alt+f2 然后输入 lg 看看日志 |
| 6 Gerhman 2017-06-06 09:30:36 +08:00 @mengzhuo 权限的话，我切换到 root 账户以前还是能移除的，现在不行了； log 晚上回去看看 扩展这么重要的功能，不知道 gnome 为什么不在本地做一个商店，就像 kde 的部件那样，多方便 |
 | 7 hosiet 2017-06-06 10:00:59 +08:00 gnome-tweak-tool 可以试一试，这个本地工具可以管理插件信息（虽然没有联网下载功能） |
Select Language