pacman 更新了 mutter,然后在 https://extensions.gnome.org/local/更新了下扩展
注销后再登陆扩展就全部灰色了,切换到 root 还能开关扩展,但是移除不了;普通用户什么都做不了,使用 gnome-shell-extension-tool 命令 enable,reload 都无效
而且在官网连新的扩展也不能安装了
没有扩展 gnome 简直就是个半成品
pacman 更新了 mutter,然后在 https://extensions.gnome.org/local/更新了下扩展
注销后再登陆扩展就全部灰色了,切换到 root 还能开关扩展,但是移除不了;普通用户什么都做不了,使用 gnome-shell-extension-tool 命令 enable,reload 都无效
而且在官网连新的扩展也不能安装了
没有扩展 gnome 简直就是个半成品
|
1
原来扩展还有个总开关 otz,囧
|
|
SphenoidJun 6, 2017 via Android
2
日常滚死,233
|
|
GerhmanJun 6, 2017
3
扩展能用了,但是移除还是没法用
|
|
mengzhuoJun 6, 2017
4
你看看是不是权限问题,因为 local 是装在家目录下面的
|
|
mengzhuoJun 6, 2017
5
而且 shell 有 console 的,你试试 alt+f2 然后输入 lg 看看日志
|
|
GerhmanJun 6, 2017
6
@mengzhuo 权限的话,我切换到 root 账户以前还是能移除的,现在不行了; log 晚上回去看看
扩展这么重要的功能,不知道 gnome 为什么不在本地做一个商店,就像 kde 的部件那样,多方便 |
|
hosietJun 6, 2017
7
gnome-tweak-tool 可以试一试,这个本地工具可以管理插件信息(虽然没有联网下载功能)
|