Как настроить расширения gnome-shell, установленные с официального сайта?
Я всегда настраиваю установленные расширения gnome-shell из dconf-editor, но после установки расширений с официального сайта я не смог настроить установленные расширения с официального сайта (я их не нашел в dconf-editor под org >> gnome >> shell >> extensions).
, как настроить установленные расширения с официального сайта ???
3 ответа
Пока вы не можете этого сделать.
расширения с официального сайта, которые все еще в альфа-версии, не могут быть изменены с помощью dconf. (по крайней мере, некоторые из них).
, но вы все равно можете изменить их, перейдя к файлам extension.js и .css в /home/username/.local/share/gnome-shell/extensions.
В Gnome 3 вы можете настроить расширение, используя эту ссылку: https://extensions.gnome.org/local/
Вы можете включать и выключать их, а также делать некоторые дополнительные Конфиг на некоторых расширениях.
Бест, Юрген
Я использую gnome-tweak-tool для этого.
Вы можете получить его здесь: