Я хотел бы настроить элементы темы Gnome, например фон на экране блокировки.
Я вижу, что можно, /usr/share/gnome-shell/theme/ubuntu.cssнапример, вручную отредактировать файл. Я заметил, что в верхней части этого файла написано:
/* This stylesheet is generated, DO NOT EDIT */
Так что возникает вопрос, сгенерировано чем? Есть ли инструмент, который я могу использовать для настройки gnome без ручного редактирования?
Спасибо!