PDF-Datei in Bilddatei mit vorgegebener Auflösung umwandeln

Immer wieder einmal gibt es die Notwendigkeit, eine pdf-Datei in das png- oder jpg-Format zu konvertieren. Das ist zum Beispiel mit dem Programm-Paket ImageMagick möglich:

convert Datei.pdf Bild.png

Die Grafikdatei hat dann die gleiche "Größe in cm" wie die pdf-Datei und die Auflösung liegt dann bei standardmäßig 72 dpi. Hat das pdf-Dokument mehrere Seiten, so erstellt ImageMagick automatisch mehrere Grafik-Dateien, hier Bild-0.png, Bild-1.png, Bild-2.png ... .

Benötigt man eine Auflösung, die von der Standardauflösung abweicht, lässt sich das durch einen zusätzlichen Parameter vorgeben:

convert -density 300 Datei.pdf Bild.png

Die "Größe in cm" ist geblieben, aber die Auflösung ist auf 300 dpi gesteigert - so erkennt es jedenfalls Gimp.