ロック画面の背景などの Gnome テーマ要素を微調整したいと思います。
たとえば、ファイルを/usr/share/gnome-shell/theme/ubuntu.css手動で編集できることがわかります。このファイルの先頭に次のように書かれています:
/* This stylesheet is generated, DO NOT EDIT */
それで、何によって生成されるのかという疑問が生じます。手動で編集せずに gnome をカスタマイズできるツールはありますか?
ありがとう！
gnome テーマを生成するコマンドはありますか?