Petr Kovar pknbe@volny.cz 2014 Jana Svarova jana.svarova@gmail.com Вмикання розширень GNOME Shell для усіх користувачів. Юрій Чорноіван yurchor@ukr.net 2021 Вмикання розширень на загальносистемному рівні

Щоб зробити розширення доступними для усіх користувачів системи, встановіть їх до каталогу /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).