Folgendes Skript konvertiert PDF-Dokumente in JPG-Dateien, wobei die Auflösung der JPG-Datei frei gewählt werden kann. Standard ist 300 dpi.
#!/bin/bash #pdf2jpg - konvertiert PDF/PS-Dateien nach JPG # function err_text { while [ $# -gt 0 ] ; do echo "$1" 1>&2 # Ausgabe auf stderr shift done echo "`basename $0` [-r resolution" href="-o outfile] infile[.pdf|.ps]" 1>&2 // # Ausgabe auf stderr exit 1 } # Sortieren der Parameter set--`getopt "r:o:" "$@"` || err_text # Startwerte definieren outres=300 # Parameter abfragen while : ; do case "$1" in -r) shift; outres=$1;; -o) shift; outfile=$1;; --) break;; esac shift [ $# -eq 0 ] && break # Fehler in den angegebenen Parametern done shift [ $# -lt 1 ] && err_text # kein Dateiname wurde übergeben while [ $# -ge 1 ] ; do if [ -f "$1" ] ; then gs -sDEVICE=jpeg -sOutputFile="${outfile:-`basename "$1"`}_%03d.jpg" // -r$outres -dNOPAUSE -dBATCH "$1" else err_text "`basename $0` - Datei '$1' existiert nicht" fi shift done