Согласно этому ответу , расширения оболочки GNOME можно найти в двух каталогах. А именно,
~/.local/share/gnome-shell/extensions/
/usr/share/gnome-shell/extensions/
Если в каждом из этих каталогов установлено одно и то же расширение (но разных версий) Как узнать, какое расширение будет фактически использоваться при входе в систему как обычный пользователь? Или такая ситуация вызовет конфликт с оболочкой GNOME? Здесь предполагается, что это расширение включено.
например.
~/.local/share/gnome-shell/extensions/extA@gmail.com
/usr/share/gnome-shell/extensions/extA@gmail.com
Кроме того, от имени root / sudo была выполнена эта команда.
$ gsettings set org.gnome.shell enabled-extensions "['extA@gmail.com']"
Теперь, когда я вошел в систему как пользователь, какие расширения я буду использовать?
Как много других вещей (например, .desktop
средства запуска для приложений), локальный каталог имеет более высокий приоритет.
(Ныне несуществующая) 'Ubuntu GNOME' аромат Ubuntu раньше шел с несколькими расширениями (например, AlternateTab, Меню Приложений, Список Окна и т.д.) установила в масштабе всей системы (следовательно в /usr/share/gnome-shell/extensions/
каталог) по умолчанию. Если было обновление для такого расширения и если пользователь обновил его с помощью Shell GNOME веб-сайт Расширений, оно раньше создавало локальную копию (в ~/.local/share/gnome-shell/extensions/
каталог) расширения с обновленной версией, переопределяющей более старое в масштабе всей системы один.