Gnome-редактор gconf поврежден в 18.04 [дубликат]

Мне нравится иметь возможность настраивать вещи из командной строки, чтобы при переустановке ОС Я могу просто запустить сценарий и вернуть свою предпочтительную конфигурацию.

После «обновления» до Ubuntu 17.10 я обнаружил, что мне нужно использовать gnome-tweak-tool, чтобы получить некоторые настройки так, как я хочу.

Как только я найду параметр в графическом интерфейсе gnome-tweak-tool, как я могу определить его перевод с помощью сценариев?

Например, следующие строки gsettings соответствуют соответствующим записям на снимке экрана gnome-tweak-tool ниже. ..

gsettings set org.gnome.desktop.wm.preferences titlebar-font "Tahoma Bold 8"
gsettings set org.gnome.desktop.interface font-name "Tahoma 8"
gsettings set org.gnome.desktop.interface document-font-name "Tahoma 8"
gsettings set org.gnome.desktop.interface monospace-font-name "FixedSC 10"

... но как можно было догадаться об этом? А как мне, например, разобраться, где взять соответствующие настройки хинтинга и сглаживания?