哪个 GNOME shell 扩展目录优先/优先级?

哪个 GNOME shell 扩展目录优先/优先级?

根据这个回答,GNOME shell 扩展可以在两个目录中找到。即,

  • ~/.local/share/gnome-shell/extensions/
  • /usr/share/gnome-shell/extensions/

如果我在每个目录中都安装了相同的扩展(但版本不同),我如何知道以标准用户身份登录时实际将使用哪个扩展?或者这种情况会导致与 GNOME shell 发生冲突?这里的假设是此扩展已启用。

例如

此外,以 root/sudo 身份执行此命令。

$ gsettings set org.gnome.shell enabled-extensions "['[email protected]']"

现在,当我以用户身份登录时,我将使用哪些扩展?

答案1

与许多其他事物一样(例如.desktop应用程序启动器),本地目录具有更高的优先级。

(现已解散)'Ubuntu GNOME' Ubuntu 版本过去默认安装了一些扩展(例如 AlternateTab、应用程序菜单、窗口列表等),这些扩展是系统范围内安装的(因此位于目录中/usr/share/gnome-shell/extensions/)。如果此类扩展有更新,并且用户使用GNOME Shell 扩展网站,它用于创建~/.local/share/gnome-shell/extensions/扩展的本地副本(在目录中),并使用更新后的版本覆盖旧的系统范围版本。

相关内容