如何修改 gnome 扩展

Question

具体来说，这是Windows 模糊效果 | GNOME Shell 扩展使非活动窗口变得模糊。

希望能够排除一些窗口。并且这样的功能必须已经存在（在 github README 上，它在版本 3 中被标记为已关闭）。但我所发现的只有：

const excludeList = []; // an array of wm-class to be excluded from filters

在 extension.js 中。因此有 2 个问题：

1. 这个数组就是我要找的吗？
2. 如果是，并且我修改了它，比如说，[“Firefox”] - 如何使更改生效（我需要“重新编译”此 extension.js 吗）？简单保存更改并关闭/打开扩展没有任何区别。

Answer 1

您可能需要重新启动 GNOME shell 才能看到所做更改的效果。

如果您处于 Xorg 会话中，请按alt+ f2，然后输入r并按enter。

如果您处于 Wayland 会话中，上述操作将不起作用，请重新启动系统或注销并重新登录。