Включить расширения для всей системы
Чтобы сделать расширения доступными для всех пользователей, установите их в каталог /usr/share/gnome-shell/extensions. Обратите внимание, что вновь установленные общесистемные расширения по умолчанию отключены.
Вам необходимо установить необходимые значения ключа org.gnome.shell.enabled-extensions, чтобы сделать расширения включёнными по умолчанию. Однако в настоящее время нет способа включить дополнительные расширения для уже вошедших в систему пользователей. Это не относится к пользователям, которые установили и включили свои расширения GNOME самостоятельно.
Настройка ключа org.gnome.shell.enabled-extensions
-
Создайте профиль user в /etc/dconf/profile/user:
user-db:user system-db:local -
Создайте базу данных local для общесистемных настроек в /etc/dconf/db/local.d/00-extensions:
[org/gnome/shell] # Список всех расширений, которые вы хотите включить для всех пользователей. enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']В ключе enabled-extensions указываются включённые расширения, используя uuid расширений (myextension1@myname.example.com и myextension2@myname.example.com).
-
Обновите системные базы данных:
# dconf update