Me gustaría modificar elementos del tema de Gnome, como el fondo de la pantalla de bloqueo.
Veo que uno puede editar el archivo /usr/share/gnome-shell/theme/ubuntu.cssmanualmente, por ejemplo. Noto que en la parte superior de este archivo dice:
/* This stylesheet is generated, DO NOT EDIT */
Entonces surge la pregunta: ¿generado por qué? ¿Existe alguna herramienta que pueda utilizar para personalizar gnome sin editar manualmente?
¡Gracias!