Вмикання розширень на загальносистемному рівні

Щоб зробити розширення доступними для усіх користувачів системи, встановіть їх до каталогу /usr/share/gnome-shell/extensions. Зауважте, що нововстановлені загальносистемні розширення типово вимкнено.

Вам слід встановити належне значення ключа org.gnome.shell.enabled-extensions, щоб типово зробити розширення увімкненими. Втім, у поточній версії не існує способу вмикання додаткових розширень для користувачів, які вже увійшли до системи. Це не стосується наявних користувачів, які встановили і увімкнули власні розширення GNOME.

Встановлення ключа org.gnome.shell.enabled-extensions

  1. Створіть профіль user у /etc/dconf/profile/user:

    user-db:user
system-db:local

  2. Створіть базу даних 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).

  3. Оновлення загальносистемних баз даних:

    # dconf update