升级到 18.10 后,我遇到了非常奇怪的 gnome 扩展行为。在我的笔记本电脑进入休眠状态后,它们都关闭并在https://extensions.gnome.org/local/上重新启用它们无济于事:没有任何变化,当我刷新页面时,它们再次被禁用。
重新打开它们的唯一方法是重新安装它们。
gnome-shell-extension gnome-shell 18.10
18.10 ×1
gnome-shell ×1
gnome-shell-extension ×1