Gostaria de ajustar os elementos do tema Gnome, como o plano de fundo da tela de bloqueio.
Vejo que é possível editar o arquivo /usr/share/gnome-shell/theme/ubuntu.cssmanualmente, por exemplo. Percebo que no topo deste arquivo diz:
/* This stylesheet is generated, DO NOT EDIT */
Então isso levanta a questão: gerado por quê? Existe uma ferramenta que posso usar para personalizar o gnome sem editar manualmente?
Obrigado!