晚上滚了下, gnome-shell 扩展炸了

2017-06-05 22:01:40 +08:00
 Gehrman

pacman 更新了 mutter,然后在 https://extensions.gnome.org/local/更新了下扩展

注销后再登陆扩展就全部灰色了,切换到 root 还能开关扩展,但是移除不了;普通用户什么都做不了,使用 gnome-shell-extension-tool 命令 enable,reload 都无效

而且在官网连新的扩展也不能安装了

没有扩展 gnome 简直就是个半成品

3950 次点击
所在节点    Linux
9 条回复
Gehrman
2017-06-05 23:30:13 +08:00
原来扩展还有个总开关 otz,囧
Sphenoid
2017-06-06 08:13:56 +08:00
日常滚死,233
Gerhman
2017-06-06 08:46:33 +08:00
扩展能用了,但是移除还是没法用
mengzhuo
2017-06-06 09:16:20 +08:00
你看看是不是权限问题,因为 local 是装在家目录下面的
mengzhuo
2017-06-06 09:17:06 +08:00
而且 shell 有 console 的,你试试 alt+f2 然后输入 lg 看看日志
Gerhman
2017-06-06 09:30:36 +08:00
@mengzhuo 权限的话,我切换到 root 账户以前还是能移除的,现在不行了; log 晚上回去看看

扩展这么重要的功能,不知道 gnome 为什么不在本地做一个商店,就像 kde 的部件那样,多方便
hosiet
2017-06-06 10:00:59 +08:00
gnome-tweak-tool 可以试一试,这个本地工具可以管理插件信息(虽然没有联网下载功能)
mengzhuo
2017-06-06 10:17:15 +08:00
@Gerhman


可能是因为你以前用 root,改变了本地扩展文件的 owner。
可能还需要看 shell 本身的 log,你得去翻一翻了。

商店就不知道了,毕竟现在的扩展基本上是在 topbar 来上一脚,跑跑一些无关紧要的程序,审核多了发现只有少数几个扩展可以做到跟着 shell 的版本跟进(说白了就是不成熟,然后用户少的开源社区恶性循环)。
基本无解
┑( ̄Д  ̄)┍
Gerhman
2017-06-06 12:05:34 +08:00
@hosiet 我用的就是这个
@mengzhuo 一般不用 root,这次感觉是某个扩展升级把配置搞坏了

kde 的用户应该比 gnome 少

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/366169

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX