Ich möchte Elemente des Gnome-Designs optimieren, beispielsweise den Hintergrund des Sperrbildschirms.
Ich sehe, dass man die Datei beispielsweise manuell bearbeiten kann /usr/share/gnome-shell/theme/ubuntu.css. Oben in der Datei steht:
/* This stylesheet is generated, DO NOT EDIT */
Es stellt sich also die Frage: Wodurch wird es erzeugt? Gibt es ein Tool, mit dem ich Gnome anpassen kann, ohne es manuell bearbeiten zu müssen?
Danke!