pdf2jpg

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