根据这个回答,GNOME shell 扩展可以在两个目录中找到。即,
~/.local/share/gnome-shell/extensions/
/usr/share/gnome-shell/extensions/
如果我在每个目录中都安装了相同的扩展(但版本不同),我如何知道以标准用户身份登录时实际将使用哪个扩展?或者这种情况会导致与 GNOME shell 发生冲突?这里的假设是此扩展已启用。
例如
~/.local/share/gnome-shell/extensions/[email protected]
/usr/share/gnome-shell/extensions/[email protected]
此外,以 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/
扩展的本地副本(在目录中),并使用更新后的版本覆盖旧的系统范围版本。