Um eine von den Abmaßen her kleinere Grafik zu bekommem, reduziert man mit dem #Kommandozeilentool (#Linux) "convert" die Größe der Grafik um den entsprechenden Prozentbetrag der Ursprungsgröße.

$ convert -resize 50% original_datei.png datei_50prozent_kleiner.png

Das Tool #convert ist im Paket #ImageMagick enthalten.