Как настроить расширения gnome-shell, установленные с официального сайта?
Когда вы начинаете редактор dconf, выберите в этом порядке треугольники, указывающие вниз: org, desktop, input-sources в левой панели. Каждое из них расширяет меню, в котором вы можете выбрать следующий вариант. После выбора входных источников вы увидите xkboptions на правой панели, выберите это, и вы можете ввести свой выбор, как описано выше.
3 ответа
пока вы не можете этого сделать.
расширения с официального сайта, которые все еще в альфе, не могут быть изменены с помощью dconf. (хотя бы некоторые из них).
, но вы все равно можете их изменить, перейдя в файлы extension.js и .css в /home/username/.local/share/gnome-shell/extensions.
-
1Кажется, это не работает для меня. Я отредактировал файл css добавленного расширения, но не увидел никаких изменений. – Costa 27 May 2014 в 07:14
В Gnome 3 вы можете настроить расширение, используя эту ссылку: https://extensions.gnome.org/local/
Вы можете включить и выключить их, а также выполнить некоторую расширенную конфигурацию на некоторых расширениях.
Лучшее, Юрген
Для этого я использую gnome-tweak-tool.
Вы можете получить его здесь: